isValidJumpDest()

function executeJump(bytecode: Uint8Array, targetOffset: number): void {
  if (!Opcode.isValidJumpDest(bytecode, targetOffset)) {
    throw new Error(`Invalid jump destination: ${targetOffset}`)
  }
  // Proceed with jump
}

function findInvalidJumps(bytecode: Uint8Array): number[] {
  const instructions = Opcode.parse(bytecode)
  const invalid: number[] = []

  for (const inst of instructions) {
    if (Opcode.isJump(inst.opcode)) {
      // In real analysis, would need to trace stack for target
      // This is simplified example
    }
  }

  return invalid
}