let type ant = array of int
    var x : ant := new ant[2] of 0
in
    if x[1] then x else new ant[5] of 1
end