Bytecode size:    6303 bytes