Function encode_packed_bytes_with_len 

pub(crate) fn encode_packed_bytes_with_len(
    cx: &mut SymCx,
    len: SymExpr,
    bytes: &SymBytes,
) -> SymBytes