{
	"input":
	[
		{
			"operation": "append_empty"
		}
	],
	"output": "0x80"
}