add simple (failing) test of printf working in the output C code; in printf_prints.c