#include <stdio.h>

int int16_handler(void)
{
        printf("\nint16: keyboard not supported right now.\n");
        return 1;
}