Implement cmp_ok() (as recently specced ;-)