adds aliasing for printf