Constant Max_ASN_MAX_SHORT_SZ 

pub const Max_ASN_MAX_SHORT_SZ: Max_ASN = 7;