Fix last "noreturn" warnings

code/ui/ui_syscalls.c

@@ -44,8 +44,10 @@ void trap_Print( const char *string ) {
 	syscall( UI_PRINT, string );
 }
 
-void trap_Error( const char *string ) {
-	syscall( UI_ERROR, string );
+void trap_Error(const char *string)
+{
+	syscall(UI_ERROR, string);
+	exit(1);
 }
 
 int trap_Milliseconds( void ) {