Edit: xt_u32.h