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