Bytecode size:    6159 bytes