Removed equiv(_) in foreign_interface, was a bad idea that actually is not being used