* printf_tiny.c: NEW,