#include <oskit/wimpi.h> void wimpi_kbd_input(wimpiSession session, unsigned char c);
void wimpi_kbd_input(wimpiSession session, unsigned char c);