StdioType FILE = const StdioType._("file")