unput
extern void unput(int);
unput(c);
unput(c);
unput(c);
unput(c);
unput('\n');
unput('/');
unput(s[i]);
unput(c);
#ifdef unput