INFORMATION
case INFORMATION:
if (!set_smach_state(dsmp, INFORMATION))
if (dsmp->dsm_state == INFORM_SENT || dsmp->dsm_state == INFORMATION)
dsmp->dsm_state != INFORMATION &&
dsmp->dsm_state == REBINDING || dsmp->dsm_state == INFORMATION) {
if (dsmp->dsm_state == INFORMATION)
return (state == BOUND || state == REBINDING || state == INFORMATION ||