pub open spec fn real_bytes_wf<const DER: bool>(bytes: Seq<u8>) -> bool
{ if DER { der_real_bytes_wf(bytes) } else { ber_real_bytes_wf(bytes) } }