let
zero_term() =
mk_int_term 0