function copy_from_to(a::Array{Int32, 1}, b::Array{Int32, 1})
    local i::Int32
    for i ∈ 1:length(a)
        b[i] = a[i]
    end
end

function verify(a::Array{Int32, 1}, b::Array{Int32, 1})::Bool
    local i::Int32
    local r::Bool
    r = true
    for i ∈ 1:length(a)
        r = r && a[i] == b[i]
    end
    return r
end

function main()
    local i::Int32
    local r::Bool
    local x::Array{Int32, 1}
    local y::Array{Int32, 1}
    for i ∈ 1:length(x)
        x[i] = i
    end
    copy_from_to(Int32(x), Int32(y))
    r = verify(Int32(x), Int32(y))
    println(r)
    if !r
        println(Base.stderr, "ERROR STOP")
        exit(1)
    end
end

main()
