const a = -2**4;
const b = 2**3**2;

begin
  Assert(-2**4 = -16);
  Assert(a = -16);
  Assert(2**3**2=512);
  Assert(b=512);
end.