simplification of printf