dccp_get_option
extern int dccp_get_option(char *, int, int, char *, int);
if (dccp_get_option(options, optlen, DCCP_OPT_TIMESTAMP_ECHO, av,10) > 0) {
avsize = dccp_get_option(options, optlen, DCCP_OPT_ACK_VECTOR0, av,10);
avsize = dccp_get_option(options, optlen, DCCP_OPT_ACK_VECTOR1, av,10);
avsize = dccp_get_option(options, optlen, DCCP_OPT_ACK_VECTOR0, av_rcv,10);
avsize = dccp_get_option(options, optlen, DCCP_OPT_ACK_VECTOR1, av_rcv,10);
extern int dccp_get_option(char *, int, int, char *, int);
res = dccp_get_option(options, optlen, TFRC_OPT_LOSS_RATE, (char *) &pinv, 6);
res = dccp_get_option(options, optlen, DCCP_OPT_ELAPSEDTIME, (char *) &t_elapsed_l, 6);
res = dccp_get_option(options, optlen, DCCP_OPT_ELAPSEDTIME, (char *) &t_elapsed, 4);
res = dccp_get_option(options, optlen, TFRC_OPT_RECEIVE_RATE, (char *) &x_recv, 4);
int dccp_get_option(char *, int, int, char *,int);