program() var x := 42 c: const := 10 y := 10 arr := [10, 2] begin x := x + 1; y := y + 5; arr[1] := 99; assert(x = 43 & c = 10 & y = 15 & arr[1] = 99 & arr[2] = 2) end.