original.name="Old_Valid_6"
whiley.compile.ignore=true
WhileyCompiler.issue=986
======
>>> main.whiley
method m(&(int[]) p)
ensures |*p| == old(|*p|):
    //
    int len = |*p|
    //
    for i in 0..len:
        (*p)[i] = 0

public export method test():
    &(int[]) p = new [1,2,3]
    m(p)
    assert |*p| == 3

---