public input_file_port( byte[] file, byte[] buf ) : base(foreign.newstring( file ), buf) { _in= new FileStream( foreign.newstring( file ), FileMode.Open, FileAccess.Read, FileShare.ReadWrite ); }