1  extern  void exit (int);
       2  
       3  extern  void m2pim_M2_SYSTEM_init (int argc, char *argv[]);
       4  extern  void m2pim_M2_SYSTEM_fini (void);
       5  extern  void m2pim_M2_M2RTS_init (int argc, char *argv[]);
       6  extern  void m2pim_M2_M2RTS_fini (void);
       7  extern  void m2pim_M2_RTExceptions_init (int argc, char *argv[]);
       8  extern  void m2pim_M2_RTExceptions_fini (void);
       9  extern  void _M2_hello_init (int argc, char *argv[]);
      10  extern  void _M2_hello_fini (void);
      11  
      12  extern  void M2RTS_Terminate (void);
      13  
      14  static void init (int argc, char *argv[])
      15  {
      16    m2pim_M2_SYSTEM_init (argc, argv);
      17    m2pim_M2_M2RTS_init (argc, argv);
      18    m2pim_M2_RTExceptions_init (argc, argv);
      19    _M2_hello_init (argc, argv);
      20  }
      21  
      22  static void finish (void)
      23  {
      24    m2pim_M2RTS_Terminate ();
      25    _M2_hello_fini ();
      26    m2pim_M2_RTExceptions_fini ();
      27    m2pim_M2_M2RTS_fini ();
      28    m2pim_M2_SYSTEM_fini ();
      29    exit (0);
      30  }
      31  
      32  int main (int argc, char *argv[])
      33  {
      34    init (argc, argv);
      35    finish ();
      36    return (0);
      37  }