int[*] aud(int[*] y, bool b)
{ 
 if( b) {
   z = [3];
 } else {
   z = y;
 }
 return(z);
}

int main()
{
  _flat_2 = 2;
  a = aud( _flat_2, false) ;
  _flat_3 = _add_SxS_( a, a);
  _flat_3__SSA0_1 = _flat_3;
  return( _flat_3__SSA0_1);
}