module U32 (U32) where