original.name="Reference_Valid_32" ====== >>> main.whiley public export method test(): int i = 0 &int q = new 1 &int p = new 2 // while i < 10: *q = 1 i = i + 1 // assert *p == 2 ---