bug 1248: add beginnings of sv.creqv test, see what is going on