let
label_direct x =
"B"
^ string_of_int x