public static ErrorCode FileClose(dsn_handle_t file) { int err = Native.dsn_file_close(file); return(new ErrorCode(err)); }