let get_int e =
  match (Cil.constFold true e).enode with
    | Const(CInt64(k,_,_)) -> Some (My_bigint.to_int64 k)
    | Const(CChr c) -> Some (char c)
    | _ -> None