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