Take out printf