Bugs:

- See the testsuite.  make sure -k
