Function ber_real_bytes_wf_exec 

pub exec fn ber_real_bytes_wf_exec(bytes: &[u8]) -> ok : bool

ensures

ok == ber_real_bytes_wf(bytes@),

Executable checker for all BER REAL contents forms.