Bytecode size:    7896 bytes