Exports of STM constructors.