public static Object open_input_binary_file( byte[] file ) { return new binary_port( new FileStream( newstring( file ), FileMode.Open, FileAccess.Read, FileShare.ReadWrite ) ); }