Function symbolic_hash_word_with_len 

pub(crate) fn symbolic_hash_word_with_len(
    algorithm: &'static str,
    bytes: Vec<SymWord>,
    len: SymWord,
) -> SymWord

Returns the symbolic_hash_word_with_len symbolic expression helper result.