/*
 *  PLUS WL has duplicate GENERATOR_BOUND2! 
 *
 */

/* RESULT: with 33 29  */

use Array: {-,sum,sel,shape,iota,+,*};

int[*] id(int[*] y)
{ return(y);
}

inline int[+] PLUS(int[+] xPLUS, int yPLUS)
{
 zPLUS = with {
          (. <= iv < shape(xPLUS)) : xPLUS[iv] + yPLUS;
          } : modarray(xPLUS);
 return(zPLUS);
}

int main()
{
 AAA = iota( id(25));
 BBB = PLUS( AAA, 5);
 z = _sel_VxA_( [0], BBB);
 z = z - 5;
 return(z);
}