return name+" *";
return name+" ["+linear.getPeekCount()+","+linear.getPushCount()+","+linear.getPopCount()+"]";
    public String toString() {	if(linear==null)	    return name;	else	    return name+" *";    }