STM_(software_transactional_memory)