printf interpolation.