
Continuation not being set on traps/interrupts
==============================================

Fix: add to spec

Testing: To all things that can block or reschedule, we should check to make
sure continuation was set to return address?


hwtnum was not being set when a thread was scheduled
====================================================

Fix: add to thread_switch (is that correct place?  What about fastints?)

Testing: Add input assertion for all functions taking hwtnum that it is correct,
	and at all functions containing me that me->hthread == hwtnum 


H2K_futex_wake does not handle n_to_wake == 0 properly
======================================================

Fixes:

	* Clarify spec
	* Add a check for n_to_wake == 0 at the beginning of H2K_futex_wake

Testing:

Testcase checks for both conditions of no threads woken -- n_to_wake == 0 
and literally no applicable threads ready to resume.


Other specing / assertions
==========================

	* For every data element in a struct, spec where it should be updated
	* Add collection of assertions that we can check on function entry/exit
	* Add structure verifier that can make sure structures are sane



runlist valid states
====================

An empty runlist is apparently not a valid state; should probably
document this in the spec and maybe make an assertion.






