More verbose printf() output