pub(crate) fn execute_precompile(
cx: &mut SymCx,
address: Address,
input: &[u8],
spec_id: SpecId,
) -> Result<Option<SymReturnData>, SymbolicError>pub(crate) fn execute_precompile(
cx: &mut SymCx,
address: Address,
input: &[u8],
spec_id: SpecId,
) -> Result<Option<SymReturnData>, SymbolicError>