let
is_topint v = equal top_int v