_atomic_cas_32_casl
extern uint32_t _atomic_cas_32_casl(volatile uint32_t *, uint32_t, uint32_t);
#define CAS32_DEFAULT _atomic_cas_32_casl