use uint32_t as size_t for arduino