// Gubby
// csl@sublevel3.org

#include <string>

void die(const std::string& s);