KBD_RESEND
if ((b == KBD_ACK) || (b == KBD_RESEND)
else if (res != KBD_RESEND)
if (res != KBD_RESEND)
int c = KBD_RESEND; /* keep the compiler happy */