Maybe overzelous int_off is the answer.