Bytecode size:    7600 bytes