#include <stm.hpp>

stm::shared<int> sh(0);
int main(){
    stm::atomic([&](stm::transaction& tx) {
        stm::atomic([&](stm::transaction& tx) {
            sh.open_r(tx);
        });
        stm::atomic([&](stm::transaction& tx) {
            tx.abort();
        });
    });
}