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