type t = record { x:int }