run -s2 "(= 2 3)"
()
