let
fresh_term_id () =
incr __term_count; !__term_count