How to use printf in c to print an int