Bytecode size:    5020 bytes