+/*
+ * Running the scheduler
+ */
+typedef enum {
+ NoStatus, /* not finished yet */
+ Success, /* completed successfully */
+ Killed, /* uncaught exception */
+ Interrupted, /* stopped in response to a call to interruptStgRts */
+ Deadlock /* no threads to run, but main thread hasn't finished */
+} SchedulerStatus;