Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-05-22 13:56:26 -0700 (Mon, 22 May 2006)
Revision: 9202
Log message:

      Added a matching resume_inner_section to take a lock inside
      a blocking_section.