this.subst = new SymbolSubstTypeMap();
    public AddConstructors(Global global, HashMap constructors) {	super(global);        this.constructors = constructors;        this.forINT = global.target == global.TARGET_INT;    }