Function law_chained_frame_adds_exactly_digest_len 

pub fn law_chained_frame_adds_exactly_digest_len(encoded_len: u64) -> bool