/// exception caught within exception class: print error message and die
static void fatal(const char *from) throw();
/// returns error message
/// exception caught within exception class: print error message and die
static void fatal(const char *from) throw();
/// returns error message