original.name="Old_Valid_20" js.compile.ignore=true ====== >>> main.whiley method f(&int p): int n = *p // for i in 0..1 where *p == old(*p): *p = *p // assert *p == n public export method test(): f(new 0) ---