1 2 3 4 5 6 7
#include <stdio.h> int main(int argc, char **argv) { fprintf(stderr, "ok\n"); return 0; }