let c_rem ~with_alarms e1 e2 = if (with_alarms.others <> Aignore) && contains_zero e2 then CilE.warn_div with_alarms; arithmetic_function ~with_alarms "%" Ival.c_rem e1 e2