Doc says to avoid mixing allocator instead of forbiding it