Bytecode size:    9292 bytes