Ah, std::size, since c++17. No wonder nobody knows about it, that’s after we all started switching to rust.