pub(crate) fn read_abi_u64_arg( memory: &SymMemory, args_offset: usize, index: usize, reason: &'static str, ) -> Result<u64, SymbolicError>
Returns the read_abi_u64_arg cheatcode runtime helper result.
read_abi_u64_arg