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