UTXX: concurrent_spsc_queue iterator verification implemented
UTXX: merged with SA updates