run "(and (equal 400 x0) (equal 500 x1) (equal 600 x2))" "(400)"
FAILURE: first of non-cons
()
