sig
  val name_of_mpz_arith_bop : Cil_types.binop -> string
  val init : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
  val init_set :
    loc:Cil_types.location ->
    Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
  val clear : loc:Cil_types.location -> Cil_types.exp -> Cil_types.stmt
  val affect :
    loc:Cil_types.location ->
    Cil_types.lval -> Cil_types.exp -> Cil_types.exp -> Cil_types.stmt
end