Use the correct size_t