#include <stdio.h>
 
int mygeti(int *result)
{
        char buff [ 13 ]; /* signed 32-bit value, extra room for '\n' and '\0' */
        return fgets(buff, sizeof buff, stdin) && sscanf(buff, "%d", result) == 1;
}
 
int main(void)
{
        int value;
        do {
                fputs("Enter an integer: ", stdout);
                fflush(stdout);
        } while ( !mygeti(&value) );
        printf("value = %d\n", value);
        return 0;
}
 
/* my output
Enter an integer: one
Enter an integer:
Enter an integer: 42
value = 42
 
Enter an integer: 24f
value = 24
 
Enter an integer:    125 help
value = 125
*/