Re: pool_allocator problems on VC7.1 (real release)