pub const HALT_PC: u64 = 1;
The executor uses this PC to determine if the program has halted. As a PC, it is invalid since it is not a multiple of PC_INC.
PC_INC