/* STDIO is defined with -D="testharness.h" on command line */
#include TEST
/* STDIO is defined with -D=<stdio.h> on command line */
#include STDIO

int main(void)
{
  SUCCESS;
}