Seems size_t was a bad idea here. Let's try UInt64.