documented which elements of the spthread code match which elements of the STORM locks.h code, and visually verified correspondence