public void reorder(ReorderMethod m) { int x = m.id; bdd_reorder(x); }
public void reorder(ReorderMethod m) { bdd_reorder(m.id); }
    public void reorder(ReorderMethod m) {        int x = m.id;        bdd_reorder(x);    }