putchar(c) { wrt c; return c; }