Type Definition CCODE::PEXECUTION_STATE

type PEXECUTION_STATE = *mut DWORD;