Add a new test case for the bug I discovered today
tree4636618eeac85ac0a33adf0b25b6815c8df9ad4a
-rw-r--r-- 300 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 1099 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2369 README
-rw-r--r-- 430 RELEASING
-rw-r--r-- 1285 TESTING
drwxr-xr-x - issues
-rwxr-xr-x 5891 safe-rm