Write an expression of the form printf("%s",...)
having exactly the same effect as printf("%5d",123).