This test is a bit speculative, because I can't reproduce problem
on my machine. Still, it should work because it produces the same
Cmm that originally caused the problem.