let
print_tempid x =
"$T"
^ string_of_int x