int unlink(std::string const & file);
/// remove the given directory
int rmdir(std::string const & file);
-/// convert the given string to an integer
-int atoi(std::string const & nstr);
/// (securely) create a temporary file in the given dir with the given prefix
std::string const tempName(std::string const & dir = std::string(),
std::string const & mask = std::string());