Function read_abi_bytes4_words_arg 

pub(crate) fn read_abi_bytes4_words_arg(
    cx: &mut SymCx,
    memory: &SymMemory,
    args_offset: usize,
    index: usize,
) -> Vec<SymExpr>