Add a regression test for that, since these weirdly never occur in any
of the other tests on x86-64-linux.