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