Function ber_any_parse 

pub open spec fn ber_any_parse<const LIMIT: usize>(
    input: Seq<u8>,
) -> Option<(int, AnySpec)>

{
    match AnyFmt::<BER>.spec_parse(input) {
        Some(parsed) => Some(parsed),
        None => {
            match FixWith::<LIMIT, _, _>(BerAnyRecBody, ()).spec_parse(input) {
                Some((n, captured)) => Some((n, captured.value)),
                None => None,
            }
        }
    }
}