Unless I’m missing something the existing spec allows jumps via JUMPSUB into subroutines where BEGINSUB is part of the data of some PUSH operation.
Geth, Besu, and OpenEthereum treat these as invalid destinations for JUMPSUB. Should the spec be ammended to include such a restriction?