Bytecode size:   10036 bytes