Function read_abi_bytes4_words_arg 

pub(crate) fn read_abi_bytes4_words_arg(
    memory: &SymMemory,
    args_offset: usize,
    index: usize,
) -> Vec<SymWord>

Returns the read_abi_bytes4_words_arg cheatcode runtime helper result.