File indexing completed on 2024-05-05 03:52:53

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