Bytecode Verifier ⎯ ens/acc

@verifier