update: use U32_AT