/* extracts the tag number from the tag header.  */
static guint fTagNo(tvbuff_t *tvb, guint offset)
/* extracts the tag number from the tag header.  */
static guint fTagNo(tvbuff_t *tvb, guint offset)
{
    return (guint)(tvb_get_guint8(tvb, offset) >> 4);
}