public static void open0(FileInputStream @this, string path) { System.Console.WriteLine("Opening {0}", path); @this.SetField("__nativeData", File.OpenRead(path)); }