original.name="Reference_Valid_27"
js.compile.ignore=true
======
>>> main.whiley
method m(&int x)
ensures *x == old(*x):
    // do nout   
    skip

public export method test():
    &int l = new 0
    &int k = new 1
    m(k)
    assert (*l) == 0
    assert (*k) == 1    

---