This version of simpletest.txt fails