Use a more general approach to aliasing