1 2 3 4 5 6 7 8 9 10 11
var x: const Int := -5 y: const Int := -x program() begin assert(x = -5); assert(y = 5); return 0u8 end.