Change sizes from "int" to "uint32_t"