proper non-buddy aliasing