int_der_w_integer
return int_der_w_integer(pkt, tag, int_put_bytes_uint32, &v);
return int_der_w_integer(pkt, tag, int_put_bytes_bn, v);