1 // Copyright (c) 1999-2018 David Muse
2 // See the file COPYING for more information
3 
4 #include <rudiments/sys.h>
5 #include <rudiments/error.h>
6 #include <rudiments/stdio.h>
7 
main(int argc,const char ** argv)8 int main(int argc, const char **argv) {
9 	if (!sys::shutDown()) {
10 		stdoutput.printf("shutdown failed: %s\n",
11 					error::getErrorString());
12 	}
13 }
14