# exp2.t: test exponentiation
> i; > j; 
< i; < B; 
< j; < N; < N;
n = 1;
{ 2*5 - n ?
     b = 1;
     < n; < B;
     e = n ^ i ^ j;
     f = n ^ (i ^ j);
     g = (n ^ i) ^ j;
     < e; < T; 
     < f; < T; 
     < g; < N;
     n = n + 1;
}$