docs: public Object mapRead(MapPart p, int idx) {
          Data.Map m = (Data.Map)data;
          if(p == MapPart.Key) {
              return m.keys[idx];
          } else {
              return m.values[idx];
          }
      }