#include"stdio.h"

#ifndef WRAPPER_INCLUDED
#error The wrapper stdio.h was not included.
#endif

int main(int argc, char **argv) {
    printf("Eventually I got printed.\n");
    return 0;
}