typecode = new primitiveTypeCode(TCKind.from_int(xKind));
typecode = new PrimitiveTypeCode(TCKind.from_int(xKind));
  public TypeCode type()  {    if (typecode != null)      return typecode;    else if (xKind >= 0)      {        typecode = new primitiveTypeCode(TCKind.from_int(xKind));        return typecode;      }    else      return has != null ? has._type() : nullType;  }