File indexing completed on 2024-05-12 07:46:49

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