pub(crate) fn read_abi_bool_arg( cx: &mut SymCx, memory: &SymMemory, args_offset: usize, index: usize, reason: &'static str, ) -> Result<bool, SymbolicError>