test (->bad) on c0 and c1