fine control of printf sequence using stderr