pub(crate) fn concrete_precompile_word_at( cx: &mut SymCx, input: &SymBytes, offset: usize, ) -> Result<U256, SymbolicError>