let
label_trampoline from target =
"T"
^ string_of_int from ^
"_"
^ string_of_int target