[
	"ident",
	{ "x": "x" },

	"k",
	{"o": {"_": "o"} },

	"true",
	{ "a": { "b": ["a", []] } },

	"false",
	{ "a": { "b": ["b", []] } },

	"eq0",
	{ "0": "true", "_": "false" },

	"sub",
	{
		"0": "ident",
		"S n": {
			"0": ["S", "n"],
			"S m": ["sub", "n", "m"]
		}
	},

	"pred",
	{
		"0": 0,
		"S n": "n"
	},

	"lt",
	{
		"0": {"0": "false", "S _": "true"},
		"S n": {
			"0": "false",
			"S m": ["lt", "n", "m"]
		}
	},

	"modulo",
	{"n": {"m":
		["lt", "n", "m",
			{"_": "n"},
			{"_": ["modulo", ["sub", "n", "m"], "m"]}]
	}},

	"compose",
	{"f1": {"f2": {"a":
		["f1", ["f2", "a"]]
	}}},

	"fibb",
	[
		"fibb_helper",
		{
			"a": {"b": {
				"0": "a",
				"1": "b",
				"S S n": ["fibb_helper", ["+", "a", "b"], ["+", ["+", "a", "b"], "b"], "n"]
			}}
		},
		"fibb_helper",
		0,
		1
	],

	[]
]