std::rt: size_t, not u64