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