let
string_of_trans num cross=
(
"tr"
^string_of_int(num))^
" : "
^(string_of_condition cross)