let
to_int t = t