let
var x := 5
type t = array of int
var a := new t[2] of 0
var y := (a[-1];0)
in
y
end