Bytecode size:   10598 bytes