sclass DoubleMap<A, B> extends AbstractMap<A, B> {
  Maps a, b;
  A pivotKey;
  B pivotValue;
  
  *() {}
  *(Map<A, B> *a, A *pivotKey, A *pivotValue, Map<A, B> *b) {
  }
}