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