I'd like to use C++ typed maps instead of Python dicts, where the map's keys are integers and