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::halt()) {
10 		stdoutput.printf("halt failed: %s\n",error::getErrorString());
11 	}
12 }
13