let print_tempid x = "$T" ^ string_of_int x