Work more on make_test_file().