% EXPECT: The POW(^) operator can only be used with a natural number in the exponent.  Exception occurred in:
% EXPECT:   2 ^ x
% EXIT: 1
x: INT;
ASSERT 2^x = 8;
QUERY x=3;