Corrected uint_32t