+ typeNamer.nameIt(kind) + " when stored " + typeNamer.nameIt(xKind));
+ TypeKindNamer.nameIt(kind) + " when stored " + TypeKindNamer.nameIt(xKind));
  protected void check(int kind)                throws BAD_OPERATION  {    if (has == null)      {        BAD_OPERATION bad = new BAD_OPERATION("value not set");        bad.minor = Minor.Any;        throw bad;      }    if (xKind >= 0)      {        if (xKind != kind)          if (!(xKind == TCKind._tk_alias && has._type().kind().value() == kind))            {              BAD_OPERATION bad = new BAD_OPERATION("Extracting "                + typeNamer.nameIt(kind) + " when stored "                + typeNamer.nameIt(xKind));              bad.minor = Minor.Any;              throw bad;            }      }    else      {        if (type().kind().value() != kind)          if (!(type().kind().value() == TCKind._tk_alias && has._type().kind().value() == kind))            {              BAD_OPERATION bad = new BAD_OPERATION("Extracting "                + typeNamer.nameIt(kind) + " stored "                + typeNamer.nameIt(type()));              bad.minor = Minor.Any;              throw bad;            }      }  }