let constant e =
  match (Cil.constFold true e).enode with
    | Const(CInt64(k,_,_)) -> My_bigint.to_int64 k
    | Const(CChr c) -> char c
    | _ -> WpLog.fatal "Non-constant expression (%a)" !Ast_printer.d_exp e