/* Public interface for use inside C# / JS code */ public static int openFile(string filename) { return(Platform.openFile(filename)); }