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