Sandbox for Intel TSX (Transactional Synchronization Extension) Hardware Transactional Memory