Bytecode size:    7859 bytes