RECMARK_ENDRECV
if (!record_write(recordf, RECMARK_ENDRECV, NULL, 0,
case RECMARK_ENDRECV:
c = c==RECMARK_ENDSEND ? RECMARK_ENDRECV : RECMARK_ENDSEND;
case RECMARK_ENDRECV:
c = c==RECMARK_ENDSEND ? RECMARK_ENDRECV : RECMARK_ENDSEND;