int clearstdin(void)
{
        while (getchar() != 0x0a) { }
}