[c] How to convert an integer to a character array using C