pub type LabelType = usize;
The type of a label in the program. It is actually usize, we just use this type alias to make the code more readable, and distinguish it from other usize like index of instructions.
usize