Source position: stdioh.inc line 45
function fopencookie(
__magic_cookie: pointer;
__modes: Pchar;
__io_funcs: _IO_cookie_io_functions_t
):PFILE;