let type t={int,t} var l3:=new t{3,nil} var l2:=new t{2,l3} var l1:=new t{1,l2} var l0:=new t{0,l1} var l:=l0 var len:=0 in (while l<>nil do (len:=(len+1);l:=(l.1));len) end