let
to_int c = c