correctness of reading scanf.c