let
trans_label num =
"tr"
^string_of_int(num)