Bytecode size:    6838 bytes