CCODE
pub unsafe extern "C" fn HACCEL_UserMarshal64( arg1: *mut c_ulong, arg2: *mut c_uchar, arg3: *mut HACCEL) -> *mut c_uchar