void threads_get_stuffed () { fprintf(stderr, "This implementation does not support real threads\n"); primitive_break(); }
void primitive_invoke_debugger (D string, D arguments) { do_debug_message(TRUE, string, arguments); primitive_break(); return; }