pub unsafe extern "C" fn CheckArgumentAgainstRestriction( arg1: *mut Environment, arg2: *mut expr, arg3: c_uint) -> bool