-/// FIXME: same here
-void abort();
-/// create the given directory with the given mode
-int mkdir(std::string const & pathname, unsigned long int mode);
-/// put variable=value as a C std::string into the environment
-bool putenv(std::string const & varname, std::string const & value);
-/// unlink the given file
-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());
-