let label_direct x = "B" ^ string_of_int x