/* wrappers.c */ wrap_NtOpenFile { }