private static BranchHandle bh_list = null; // List of reusable handles





    static BranchHandle getBranchHandle( final BranchInstruction i ) {

        if (bh_list == null) {

            return new BranchHandle(i);

        }

        final BranchHandle bh = bh_list;

        bh_list = (BranchHandle) bh.getNext();

        bh.setInstruction(i);

        return bh;

    }