Type Definition jvm_rs::jvm::__FILE

type __FILE = _IO_FILE;