{
"input":
[
"operation": "append_list",
"len": 3
},
"operation": "append_empty"
}
],
"output": "0xc3808080"