{
	"input":
	[
		{
			"operation": "append",
			"value": "\u007f"
		}
	],
	"output": "0x7f"
}