switching to <util/atomic.h>