------------------------------------------------------------------------
section "STM-accessible Mutable Variables"
------------------------------------------------------------------------
------------------------------------------------------------------------
section "STM-accessible Mutable Variables"
------------------------------------------------------------------------