static void
intrser (int i)
{
static void
intrser (int i)
{
discard (stdout);
putchar ('\n');
longjmp (env, DONE);
discard (stdout);
putchar ('\n');
longjmp (env, DONE);
static void
pipeser (int i)
{
static void
pipeser (int i)
{
static void
quitser (int i)
{
static void
quitser (int i)
{
putchar ('\n');
fflush (stdout);
done (NOTOK);
putchar ('\n');
fflush (stdout);
done (NOTOK);