private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException {
      in.defaultReadObject();
      MapMaker mapMaker = readMapMaker(in);
      delegate = mapMaker.makeMap();
      readEntries(in);
    }

    private Object readResolve() {
      return delegate;
    }
  }

		{"Int64Val", Func, 5},
		{"Kind", Type, 5},
		{"Make", Func, 13},
		{"MakeBool", Func, 5},
		{"MakeFloat64", Func, 5},
		{"MakeFromBytes", Func, 5},
		{"MakeFromLiteral", Func, 5},
		{"MakeImag", Func, 5},
		{"MakeInt64", Func, 5},
		{"MakeString", Func, 5},
		{"MakeUint64", Func, 5},
		{"MakeUnknown", Func, 5},
		{"Num", Func, 5},
		{"Real", Func, 5},
		{"Shift", Func, 5},