File indexing completed on 2024-04-28 15:18:32

 #include "testhelper.h"
 
 void test_body()
 {
     make_test_file("test6.txt");
 }