let i_apply zop a =
  let z_a = Big_int.big_int_of_string a in
  Tconst(ConstInt(Big_int.string_of_big_int (zop z_a)))