let
next_id env = env.pinf_int_abstr + 1