void clean_stdin(void)
{
    short c;

    do {
        c = getchar();
    } while (c != '\n' && c != EOF);
}