10extern uint32_t launder32(uint32_t);
11extern uintptr_t launderw(uintptr_t);
12extern void barrier32(uint32_t);
13extern void barrierw(uintptr_t);
20extern uint32_t ct_cmov32(
ct_bool32_t, uint32_t, uint32_t);
23extern ct_boolw_t ct_sltuw(uintptr_t, uintptr_t);
24extern ct_boolw_t ct_sgeuw(uintptr_t, uintptr_t);
26extern ct_boolw_t ct_seqw(uintptr_t, uintptr_t);
27extern uintptr_t ct_cmovw(
ct_boolw_t, uintptr_t, uintptr_t);