Definition int_op e :=
match e with
| Load v | Store v => tc_val tint v
| CAS r c w => tc_val tint r /\ tc_val tint c /\ tc_val tint w
end.
Definition make_int v := match v with Vint i => Int.signed i | _ => 0 end.

Lemma make_int_repable : forall v, repable_signed (make_int v).