Function tag_number_value 

pub const exec fn tag_number_value(number: TagNumber) -> UInt

returns

tag_num_to_uint(number),

Return the numeric identifier represented by an ASN.1 tag number.

This is the executable counterpart of the tag_num_to_uint specification.