let type t={int,int} var x:t:=nil in x.0 end