test/CFrontend/2002-06-25-FWriteInterfaceFailure.c

#include <stdio.h>

void  test() {
	fprintf(stderr, "testing\n");
}