let zero_term() =
  mk_int_term 0