main:
	declare bool
	check lt "a" "b" : "a should should sort before b"
	emit "Success"
/