c scanf string to int