//----------------------------------------------------------------------------
//
// Copyright (c) Seiko Epson Corp. 1998. All rights reserved.
//
//----------------------------------------------------------------------------

/* exit.c - define seExit () to return to monitor */

#include <stdio.h>

static void PrintFinished(int code)
   {
   iprintf("\nProgram finished.\n"
            "Exit status: %d\n", code);
   }

void seExit(int code)
   {
   PrintFinished(code);
   exit(code);  /* Force program to stop */
   }