pub(crate) fn read_abi_symbolic_dynamic_bytes_array_arg( cx: &mut SymCx, state: &PathState, args_offset: usize, index: usize, max_array_len: usize, max_bytes_len: usize, ) -> Result<Vec<SymReturnData>, SymbolicError>