clrs; add a FAIL macro