let char c =
  match Cil.charConstToInt c with
    | CInt64(k,_,_) -> My_bigint.to_int64 k
    | _ -> WpLog.fatal "char-const-to-int"