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