"a call to printf in a while loop"