uint32 as standard type