run -s2 "(= 3 3)"
1
