System.out.println("ATermIntImpl.match: " + pattern + "," + list);
  protected boolean match(ATerm pattern, List list)  {    System.out.println("ATermIntImpl.match: " + pattern + "," + list);    if (this.equals(pattern)) {      return true;     }    if (pattern.getType() == ATerm.PLACEHOLDER) {      ATerm type = ((ATermPlaceholder)pattern).getPlaceholder();      if (type.getType() == ATerm.APPL) {	ATermAppl appl = (ATermAppl)type;	AFun  afun = appl.getAFun();	if(afun.getName().equals("int") && afun.getArity() == 0 && !afun.isQuoted()) {	  list.add(new Integer(value));	  return true;	}      }    }    return super.match(pattern, list);  }