Re: mc-alloc bug?