Type Definition ptrace_do_rs::__FILE

type __FILE = _IO_FILE;