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] ---