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)8int main(int argc, const char **argv) { 9 if (!sys::halt()) { 10 stdoutput.printf("halt failed: %s\n",error::getErrorString()); 11 } 12 } 13