pub(crate) fn encode_packed_bytes_with_len( len: SymWord, bytes: &[SymWord], ) -> Vec<SymWord>
Implements the encode_packed_bytes_with_len symbolic ABI helper.
encode_packed_bytes_with_len