Add mike's test-case to the file.