[c] How can I get an int from stdio in C?