Re: bug report: casting to array mistake of multiset