#include <stdio.h>

void clear_stdin_buffer() {
    char ch;
    while( (ch = getchar()) != '\n' && ch != EOF );
}