(fate_version 1)

(local (ptr int) p0)
(local (list (ptr int)) lp0)

(allocate! p0)

(set! (at p0) 72)

(assert! (= (at p0) 72)
   [FAILED] Test 0
)

(free! p0)

(list:add! (default (ptr int)) lp0)
(list:add! (default (ptr int)) lp0)
(list:add! (default (ptr int)) lp0)
(list:add! (default (ptr int)) lp0)

(allocate! lp0.0)
(allocate! (at (ptr lp0.1)))

[COMPLETED]

(end!)