whiley_test_file 0.6.2

original.name="Reference_Valid_14"
whiley.compile.ignore=true
WhileyCompiler.issue=986
======
>>> main.whiley
public export method test():
    &(int[]) c = new [0,1,2]
    &(int[]) d = c
    (*c)[0] = 3
    (*c)[1] = 4
    (*c)[2] = 5    
    assert (*c) == [3,4,5]
    assert (*d) == [3,4,5]
---