let compute_int_mode = CIMterms