If such immediate args contain any
JUMPDEST (0x5b)byte which remains a valid jump destination, execution MUST result in an exceptional halt.
I believe extension immediates should also exclude the push opcode range, according to my analysis in EVM Immediates .