As the simulator does the machine instructions, it prints out their opcodes and numerical operands. Since it doesn't know anything about the original labels, like A, B or C, it cannot use them. Symbolic debuggers, as exist for languages like C and C++ and Java, retain information about which addresses were assigned to the labels so that at run time, the programmer can refer to these symbolic addresses, or labels, instead of numerical addresses.