how to reformat an integer to be printed as a string using puts (AT&T, x86_64) [duplicate]