let case_of = function
  | Tconst(ConstInt s) -> Some s
  | _ -> None