return i.intValue();
return v;
    protected int save_rec(DataOutput out, Map visited, BDD root) throws IOException {        if (root.isZero()) return 0;        if (root.isOne()) return 1;        Integer i = (Integer) visited.get(root);        if (i != null) return i.intValue();        visited.put(root, i = new Integer(visited.size()+2));        BDD l = root.low();        int lo = save_rec(out, visited, l);        l.free();                BDD h = root.high();        int hi = save_rec(out, visited, h);        h.free();        out.writeBytes(i.intValue() + " ");        out.writeBytes(root.var() + " ");        out.writeBytes(lo + " ");        out.writeBytes(hi + "\n");                return i.intValue();    }