typecode = new stringTypeCode(TCKind.tk_string);
typecode = new StringTypeCode(TCKind.tk_string);
  public void insert_string(String x)  {    resetTypes();    if (has instanceof StringHolder)      ((StringHolder) has).value = x;    else      has = new StringHolder(x);    typecode = new stringTypeCode(TCKind.tk_string);  }