/* $Id: die.c 616 2005-08-19 20:11:01Z bruce $ */
#include <stdlib.h>
#include "msg.h"

void msg_die(int code,
	     const char* a, const char* b, const char* c, const char* d,
	     const char* e, const char* f, int showsys)
{
  msg_common("Fatal", a, b, c, d, e, f, showsys);
  exit(code);
}