type t = int
and t = real