x5 = { 1, 2, 3, 0, 0, 0, 0, 0, 0, 0, }
x17[7] = { 'H', 'e', 'l', 'l', 'o', '!', 0, }
x18 = "Hello!"
x19 = { "Hello", "world!" }
x20 = { 'H', 'e', 'l', }
x21 = { 'H', 'e', 'l', 'l', 'o', '!', 0, 0, 0, 0, }
f(0,42) = 42, f(1,42) = 43, f(2,42) = 44, f(3,42) = 44, f(4,42) = 44
s1 = { tag = 0, a = {66,77}, u = {0,0} }
s2 = { tag = 0, a = {0,1}, u = {66,77} }
s3 = { tag = 1, a = {1,0}, u = {'H', 'e', 'l', 'l', 'o', '!', 0, 'X', } }
s4 = { tag = 0, a = {66,77}, u = {88,99} }