Function encode_packed_bytes_with_len 

pub(crate) fn encode_packed_bytes_with_len(
    len: SymWord,
    bytes: &[SymWord],
) -> Vec<SymWord>

Implements the encode_packed_bytes_with_len symbolic ABI helper.