function(this : C)
let i0 : int .. int = ..(0,A(this));
in
  new int[i0] =
    let a : int[int .. int] = new int[..(0,A(this))];
    in {
      let iterator0 : iterator = getIterator(..(0,A(this)));
      in
        let i : int = 0;
        in
          while hasNext(iterator0) do
          {
            i = next(iterator0);
            a[i] = 10;
          };
      a;
    }
