/* 
 * AKS copy WL with RHS array inside CODE_CBLOCK.
 *
 * This is sort of like the counterexample shown in copywlelim.c
 * except that we want NONO to be NON-loop-invariant.
 */

use Array: {sel,genarray,iota,sum};

/* RESULT: with 13 12 -nowlf -noawlf  */
 int main()
{ 
 N = 50;

 BB = with {
    (. <= iv=[i] <= .) {
      NONO = iota( i);
    } : NONO[ iv]; 
    } : genarray( [N], 666);
StdIO::print(BB);

 z = _div_SxS_( _mul_SxS_( N, _sub_SxS_( N, 1)), 2 );
 z = _sub_SxS_( sum(BB), z);
 return(z);
}