Update memory(.c|.h): int -> uint32_t