(fate_version 1)

(global string test_name)

(set! test_name ( ACCESS CONSTANT INDEX ))

(global (list int) li)
(global (ptr (list int)) li_ptr)

(set! li (range 0 10 1))
(set! li_ptr (ptr li))

(assert! (= (var li.0) 0) [FAILED] (var test_name) li.0)
(assert! (= (var li.1) 1) [FAILED] (var test_name) li.1)
(assert! (= (var li.2) 2) [FAILED] (var test_name) li.2)
(assert! (= (var li.3) 3) [FAILED] (var test_name) li.3)
(assert! (= (var li.4) 4) [FAILED] (var test_name) li.4)
(assert! (= (var li.5) 5) [FAILED] (var test_name) li.5)
(assert! (= (var li.6) 6) [FAILED] (var test_name) li.6)
(assert! (= (var li.7) 7) [FAILED] (var test_name) li.7)
(assert! (= (var li.8) 8) [FAILED] (var test_name) li.8)
(assert! (= (var li.9) 9) [FAILED] (var test_name) li.9)
(assert! (= (var li.10) 10) [FAILED] (var test_name) li.10)

(assert! (= (var li_ptr.0) 0) [FAILED] (var test_name) li_ptr.0)
(assert! (= (var li_ptr.1) 1) [FAILED] (var test_name) li_ptr.1)
(assert! (= (var li_ptr.2) 2) [FAILED] (var test_name) li_ptr.2)
(assert! (= (var li_ptr.3) 3) [FAILED] (var test_name) li_ptr.3)
(assert! (= (var li_ptr.4) 4) [FAILED] (var test_name) li_ptr.4)
(assert! (= (var li_ptr.5) 5) [FAILED] (var test_name) li_ptr.5)
(assert! (= (var li_ptr.6) 6) [FAILED] (var test_name) li_ptr.6)
(assert! (= (var li_ptr.7) 7) [FAILED] (var test_name) li_ptr.7)
(assert! (= (var li_ptr.8) 8) [FAILED] (var test_name) li_ptr.8)
(assert! (= (var li_ptr.9) 9) [FAILED] (var test_name) li_ptr.9)
(assert! (= (var li_ptr.10) 10) [FAILED] (var test_name) li_ptr.10)

(global (list (list int)) lili)
(global int i)

(for (set! i 0) (=< i 10) (set! i (+ i 1))
   (add! (range 0 i 1) lili)
)

(assert! (= (var lili.10.0) 0) [FAILED] (var test_name) lili.10.0 was (var lili.10.0).)
(assert! (= (var lili.9.1) 1) [FAILED] (var test_name) lili.9.1 was (var lili.9.1).)
(assert! (= (var lili.8.2) 2) [FAILED] (var test_name) lili.8.2 was (var lili.8.2).)
(assert! (= (var lili.7.3) 3) [FAILED] (var test_name) lili.7.3 was (var lili.7.3).)
(assert! (= (var lili.6.4) 4) [FAILED] (var test_name) lili.6.4 was (var lili.6.4).)
(assert! (= (var lili.5.5) 5) [FAILED] (var test_name) lili.5.5 was (var lili.5.5).)
(assert! (= (var lili.4.3) 3) [FAILED] (var test_name) lili.4.3 was (var lili.4.3).)
(assert! (= (var lili.3.2) 2) [FAILED] (var test_name) lili.3.2 was (var lili.3.2).)
(assert! (= (var lili.2.1) 1) [FAILED] (var test_name) lili.2.1 was (var lili.2.1).)
(assert! (= (var lili.1.0) 0) [FAILED] (var test_name) lili.1.0 was (var lili.1.0).)
(assert! (= (var lili.0.0) 0) [FAILED] (var test_name) lili.0.0 was (var lili.0.0).)

[COMPLETED] (var test_name)

(end!)