We could fall back to `std::vector` in Python if we don't have a better idea. Search of `.name = "size"` in the code for all the places where it could be useful.