Type Definition CCODE::PROC

type PROC = Option<unsafe extern "C" fn() -> INT_PTR>;