output of printf added