Bytecode size:    6680 bytes