print_test_fixture_header
static void print_test_fixture_header(FILE *out);
print_test_fixture_header(result_file);