#include <stdio.h> int int16_handler(void) { printf("\nint16: keyboard not supported right now.\n"); return 1; }