fact: Definition test_iop_sig : signature := mksignature (AST.Tint :: nil) (Tret AST.Tint) cc_default.
imports: compcert.common.Events compcert.common.Memory compcert.common.Values compcert.common.AST compcert.lib.Integers Coq.ZArith.BinInt Coq.Lists.List Coq.micromega.Lia