taglinefilesource code
rfc_step64314net/inet/tcp.cgoto rfc_step6;
rfc_step64396net/inet/tcp.crfc_step6:    /* I'll clean this up later */