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