ECHO: 
ECHO: 
ECHO: "t2"
ECHO: 18
ECHO: c = 18
ECHO: 
ECHO: c = 2
ECHO: 
ECHO: 
ECHO: t0 = undef
ECHO: t1 = undef
ECHO: t2 = undef
ECHO: t3 = undef
ECHO: t4 = undef
ECHO: t5 = 18
ECHO: t6 = 144
ECHO: t7 = [3, 6]
ECHO: t8 = [[1, 6], [2, 6], [3, 6]]
ECHO: a = 2
ECHO: a = 5
ECHO: a = 7
ECHO: "f1(v) = ", [2, 5, 7]
ECHO: 0
ECHO: 1
ECHO: 2
ECHO: 3
ECHO: "f2(v) = ", 14
ECHO: 7
ECHO: 12
ECHO: 14
ECHO: "f3(v) = ", 14
