_TPI_TOPT_DATALEN
fdbuflen = (int)_TPI_TOPT_DATALEN(tohp);
len = (t_uscalar_t)_TPI_TOPT_DATALEN(tohp);
fdbuflen = (int)_TPI_TOPT_DATALEN(tohp);
(int)_TPI_TOPT_DATALEN(tohp));
(socklen_t)(_TPI_TOPT_DATALEN(tohp));
*srclenp = (t_uscalar_t)_TPI_TOPT_DATALEN(tohp);