#!/usr/bin/L1 --semantics=L1.so
`a b c` from module.require("xxx")
rem "numerals"
	0 := s:z:z
	1 := s:z:s(z)
	succ := n: s:z: n(s)(s(z))
	`+` := a:b: s:z: a(s)(b(s)(z))
	succ(0)
	1 + 
		2