Checkpoint, instruction decoding