Bytecode size: 17729 bytes