a = 3;
b = 6;
t0 = assert(true);
t1 = assert("t1");
t2 = assert((a * b));
t3 = assert(condition = (a * b));
t4 = (assert(true) a * b);
c = 2;
t5 = ((assert(condition = 2) a * b) * c);
d = (c + 9);
t6 = (((assert(condition = ((d + 5) > 15), message = str("value: ", (d + 5))) a * b) * c) * d);
t7 = assert(true) [a, b];
t8 = assert(true) [for(i = [1 : a]) ([i, b])];
echo(t0 = t0);
echo(t1 = t1);
echo(t2 = t2);
echo(t3 = t3);
echo(t4 = t4);
echo(t5 = t5);
echo(t6 = t6);
echo(t7 = t7);
echo(t8 = t8);
