get_test_fixture_header
if (strcmp(linebuf, get_test_fixture_header()) != 0) {
static const char *get_test_fixture_header(void);
fprintf(out, "%s", get_test_fixture_header());