#include "minilib.h"
#include "io.h"
#include "stdlib.h"

void halt( void )
{	
	print( "SYSTEM HALT" );
	
	/* TODO: this is host-only */
	exit( 1 );
}