record array(a,b,c,d,e,f,g)

procedure p1()
   write(" ----> ",image() | "none")
   write("2 === +2 ----> ",image(2 === +2) | "none")
   write("3 === *\"abc\" ----> ",image(3 === *"abc") | "none")
   write("'abc' === ('abc' ++ '') ----> ",image('abc' === ('abc' ++ '')) | "none")
   write("'a' ----> ",image('a') | "none")
   write("'ab' ----> ",image('ab') | "none")
   write("'\\xb9' ----> ",image('\xb9') | "none")
   write("'\\xb8\\xb4' ----> ",image('\xb8\xb4') | "none")
   write("'\\^d' ----> ",image('\^d') | "none")
   write("'\\^a\\^d' ----> ",image('\^a\^d') | "none")
end

procedure p2()
   write("\"a\" ----> ",image("a") | "none")
   write("\"ab\" ----> ",image("ab") | "none")
   write("\"\\xb9\" ----> ",image("\xb9") | "none")
   write("\"\\xb8\\xb4\" ----> ",image("\xb8\xb4") | "none")
   write("\"\\^d\" ----> ",image("\^d") | "none")
   write("\"\\^a\\^d\" ----> ",image("\^a\^d") | "none")
   write("*'a' ----> ",image(*'a') | "none")
   write("*'ab' ----> ",image(*'ab') | "none")
   write("*'\\xb9' ----> ",image(*'\xb9') | "none")
   write("*'\\xb8\\xb4' ----> ",image(*'\xb8\xb4') | "none")
   write("*'\\^d' ----> ",image(*'\^d') | "none")
end

procedure p3()
   write("*'\\^a\\^d' ----> ",image(*'\^a\^d') | "none")
   write("*\"a\" ----> ",image(*"a") | "none")
   write("*\"ab\" ----> ",image(*"ab") | "none")
   write("*\"\\xb9\" ----> ",image(*"\xb9") | "none")
   write("*\"\\xb8\\xb4\" ----> ",image(*"\xb8\xb4") | "none")
   write("*\"\\^d\" ----> ",image(*"\^d") | "none")
   write("\"*\\^a\\^d\" ----> ",image("*\^a\^d") | "none")
   write("every write(\"...\"(1,10,2)) ----> ",image(every write("..."(1,10,2))) | "none")
   write("every write(\"image\"(write)) ----> ",image(every write("image"(write))) | "none")
   write("\"[:]\"(\"abcdef\",3,5) ----> ",image("[:]"("abcdef",3,5)) | "none")
   write("\"[]\"(&lcase,3) ----> ",image("[]"(&lcase,3)) | "none")
end

procedure p4()
   write("image(proc(\"^\",1)) ----> ",image(image(proc("^",1))) | "none")
   write("image(proc(\"^\",2)) ----> ",image(image(proc("^",2))) | "none")
   write("proc(\"+\",2)(3,4) ----> ",image(proc("+",2)(3,4)) | "none")
   write("proc(proc)(\"write\") ----> ",image(proc(proc)("write")) | "none")
   write("proc(\"+\") ----> ",image(proc("+")) | "none")
   write("?10 ----> ",image(?10) | "none")
   write("?10 ----> ",image(?10) | "none")
   write("?10 ----> ",image(?10) | "none")
   write("?20 ----> ",image(?20) | "none")
   write("?[1,2,3,4] ----> ",image(?[1,2,3,4]) | "none")
   write("?[1,2,3,4] ----> ",image(?[1,2,3,4]) | "none")
end

procedure p5()
   write("x := array(1,2,3,4,5,6,7) ----> ",image(x := array(1,2,3,4,5,6,7)) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("?x ----> ",image(?x) | "none")
   write("every 1 to 10 do write(?10) ----> ",image(every 1 to 10 do write(?10)) | "none")
   write("every 1 to 10 do write(?[1,2,3,4,5,6,7,8,9,10]) ----> ",image(every 1 to 10 do write(?[1,2,3,4,5,6,7,8,9,10])) | "none")
end

procedure p6()
   write("every 1 to 10 do write(?\"abcdef\") ----> ",image(every 1 to 10 do write(?"abcdef")) | "none")
   write("x := array(1,2,3,4,5,6,7) ----> ",image(x := array(1,2,3,4,5,6,7)) | "none")
   write("every 1 to 10 do write(?x) ----> ",image(every 1 to 10 do write(?x)) | "none")
   write("(1,2,3,4,5) ----> ",image((1,2,3,4,5)) | "none")
   write("every write((1 to 5)(1,2,3,4,5)) ----> ",image(every write((1 to 5)(1,2,3,4,5))) | "none")
   write("0(1,2) ----> ",image(0(1,2)) | "none")
end

procedure p7()
   write("1(1) ----> ",image(1(1)) | "none")
   write("2(1) ----> ",image(2(1)) | "none")
   write("(-1)(1,2,3) ----> ",image((-1)(1,2,3)) | "none")
   write("3(1,2,3,&fail) ----> ",image(3(1,2,3,&fail)) | "none")
   write("every write(2(1 to 5,!\"abc\",1 to 2)) ----> ",image(every write(2(1 to 5,!"abc",1 to 2))) | "none")
   write("x := 1 ----> ",image(x := 1) | "none")
   write("y := 2 ----> ",image(y := 2) | "none")
   write("(x := y) & &fail ----> ",image((x := y) & &fail) | "none")
   write("every write(!\"abcdef\") ----> ",image(every write(!"abcdef")) | "none")
   write("every write(![1,2,3,4,5]) ----> ",image(every write(![1,2,3,4,5])) | "none")
   write("every write(!![1,2,3,4,5]) ----> ",image(every write(!![1,2,3,4,5])) | "none")
end

procedure p8()
   write("every write(!![1,\"ab\",[1,2,3],34]) ----> ",image(every write(!![1,"ab",[1,2,3],34])) | "none")
   write("every write(!([1,\"ab\",[1,2,3],34][1 to 4])) ----> ",image(every write(!([1,"ab",[1,2,3],34][1 to 4]))) | "none")
   write("x := array(1,2,3,4,5) ----> ",image(x := array(1,2,3,4,5)) | "none")
   write("every write(!x) ----> ",image(every write(!x)) | "none")
   write("x := 1 ----> ",image(x := 1) | "none")
   write("y := 2 ----> ",image(y := 2) | "none")
   write("x <-> y ----> ",image(x <-> y) | "none")
   write("y <-> x ----> ",image(y <-> x) | "none")
   write("(x <-> y) & &fail ----> ",image((x <-> y) & &fail) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
end

procedure p9()
   write("*\"\" ----> ",image(*"") | "none")
   write("*'' ----> ",image(*'') | "none")
   write("*[] ----> ",image(*[]) | "none")
   write("*table() ----> ",image(*table()) | "none")
   write("*30 ----> ",image(*30) | "none")
   write("!\"abc\" ----> ",image(!"abc") | "none")
   write("![1,2,3] ----> ",image(![1,2,3]) | "none")
   write("!&lcase ----> ",image(!&lcase) | "none")
   write("!30 ----> ",image(!30) | "none")
   write("!table() ----> ",image(!table()) | "none")
   write("?\"abc\" ----> ",image(?"abc") | "none")
end

procedure p10()
   write("?&lcase ----> ",image(?&lcase) | "none")
   write("?[1,2,3] ----> ",image(?[1,2,3]) | "none")
   write("?table() ----> ",image(?table()) | "none")
   write("?30 ----> ",image(?30) | "none")
   write(".x ----> ",image(.x) | "none")
   write(".\"abc\" ----> ",image(."abc") | "none")
   write(".[] ----> ",image(.[]) | "none")
   write(".main ----> ",image(.main) | "none")
   write("/main ----> ",image(/main) | "none")
   write("/\"abc\" ----> ",image(/"abc") | "none")
end

procedure p11()
   write("/&null ----> ",image(/&null) | "none")
   write("/[] ----> ",image(/[]) | "none")
   write("/&lcase ----> ",image(/&lcase) | "none")
   write("\\main ----> ",image(\main) | "none")
   write("\\\"abc\" ----> ",image(\"abc") | "none")
   write("\\x ----> ",image(\x) | "none")
   write("\\[] ----> ",image(\[]) | "none")
   write("\\&null ----> ",image(\&null) | "none")
   write("1 | 2 | 3 ----> ",image(1 | 2 | 3) | "none")
   write("|(1 to 10) ----> ",image(|(1 to 10)) | "none")
   write("||(1 to 10) ----> ",image(||(1 to 10)) | "none")
end

procedure p12()
   write("|||(1 to 10) ----> ",image(|||(1 to 10)) | "none")
   write("||||(1 to 10) ----> ",image(||||(1 to 10)) | "none")
   write("|||||(1 to 10) ----> ",image(|||||(1 to 10)) | "none")
   write("|||||||(1 to 10) ----> ",image(|||||||(1 to 10)) | "none")
   write("2 \\ 2 ----> ",image(2 \ 2) | "none")
   write("while 1 do break ----> ",image(while 1 do break) | "none")
   write("while 1 do break \"hello\" ----> ",image(while 1 do break "hello") | "none")
   write("while break ----> ",image(while break) | "none")
   write("case 1 of {2:3; \"1\":4; 1: 4 to 10; default: \"whoa\"} ----> ",image(case 1 of {2:3; "1":4; 1: 4 to 10; default: "whoa"}) | "none")
   write("not 1 ----> ",image(not 1) | "none")
   write("not \\&null ----> ",image(not \&null) | "none")
end

procedure p13()
   write("repeat break ----> ",image(repeat break) | "none")
   write("until 1 do 2 ----> ",image(until 1 do 2) | "none")
   write("if 1 then 2 else 3 ----> ",image(if 1 then 2 else 3) | "none")
   write("every write(if 1 then 1 to 10 else 5) ----> ",image(every write(if 1 then 1 to 10 else 5)) | "none")
   write("every write(if 1 = 0 then 1 to 10 else 10 to 1 by -1) ----> ",image(every write(if 1 = 0 then 1 to 10 else 10 to 1 by -1)) | "none")
   write("if 1 then 2 ----> ",image(if 1 then 2) | "none")
   write("if 1 = 0 then 2 ----> ",image(if 1 = 0 then 2) | "none")
   write("x := 1 ----> ",image(x := 1) | "none")
   write("y := 2 ----> ",image(y := 2) | "none")
   write("z := 3 ----> ",image(z := 3) | "none")
   write("x :=: y ----> ",image(x :=: y) | "none")
end

procedure p14()
   write("y :=: x ----> ",image(y :=: x) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
   write("z ----> ",image(z) | "none")
   write("x :=: y :=: z ----> ",image(x :=: y :=: z) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
   write("z ----> ",image(z) | "none")
   write("x := 1 ----> ",image(x := 1) | "none")
   write("y := 2 ----> ",image(y := 2) | "none")
   write("z := 3 ----> ",image(z := 3) | "none")
end

procedure p15()
   write("x <-> y ----> ",image(x <-> y) | "none")
   write("y <-> x ----> ",image(y <-> x) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
   write("z ----> ",image(z) | "none")
   write("x <-> y :=: z ----> ",image(x <-> y :=: z) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
   write("z ----> ",image(z) | "none")
   write("1 & 2 & 3 & 4 ----> ",image(1 & 2 & 3 & 4) | "none")
   write("(1 & 2 & 3 & x) := 3 ----> ",image((1 & 2 & 3 & x) := 3) | "none")
end

procedure p16()
   write("x ----> ",image(x) | "none")
   write("x := 1 ----> ",image(x := 1) | "none")
   write("y := 2 ----> ",image(y := 2) | "none")
   write("(x <- y) & &fail ----> ",image((x <- y) & &fail) | "none")
   write("x ----> ",image(x) | "none")
   write("y ----> ",image(y) | "none")
end

procedure main()
   p1()
   p2()
   p3()
   p4()
   p5()
   p6()
   p7()
   p8()
   p9()
   p10()
   p11()
   p12()
   p13()
   p14()
   p15()
   p16()
end