Minor change from cout to printf