let type point = {int, int} var p : point := nil in p.0 end