-----------------------------------------------

/*
 *  SAC-Program bug760.sac :
 */


/*
 *  Global Definitions
 */

SAC_MT_DEFINE()
SAC_PF_DEFINE()
SAC_HM_DEFINE()


/*
 *  prototypes for locals (FUNDEFS)
 */



/*
 *  function definitions (FUNDEFS)
 */



/****************************************************************************
 * Wrapper function:
 * _MAIN::main(...) [ wrapper ]
 ****************************************************************************/
int _MAIN::main()
/*
 *  main :: ( int)
 */
{ 
  int _cwc_2 { , NN } ; 
  int _cwc_3 { , NN } ; 

  _cwc_3 = _MAIN::main() ; 
  _cwc_2 = _cwc_3; 
  return( _cwc_2); 
}



/****************************************************************************
 * _MAIN::main(...) [ body ]
 ****************************************************************************/
int _MAIN::main()
/*
 *  main ::  ---
 */
{ 
  int _dl_19 { , NN } ; 
  int{2} _dl_18 { , NN } ; 
  int _flat_3__SSA0_1__SSA0_1 { , NN } ; 
  int _flat_3 { , NN } ; 
  int[*] a { , NN } ; 
  bool{0} _flat_0 { , NN } ; 
  int{2} _flat_2 { , NN } ; 

  _flat_2 = 2; 
  _flat_0 = false; 
  a = _MAIN::aud( _flat_2, _flat_0) ; 
  _dl_18 = _add_SxS_( 1, 1); 
  _dl_19 = _mul_SxS_( a, _dl_18); 
  _flat_3 = _dl_19; 
  _flat_3__SSA0_1__SSA0_1 = _flat_3; 
  return( _flat_3__SSA0_1__SSA0_1); 
}



/****************************************************************************
 * _MAIN::aud(...) [ body ]
 ****************************************************************************/
int[*] _MAIN::aud( int y { ,NN } , bool b { ,NN } )
/*
 *  aud ::  ---
 */
{ 
  int[*] z { , NN } ; 

  z = _MAIN::_dup_1_aud__Cond_0( b, y) ; 
  return( z); 
}



/****************************************************************************
 * Cond function of _MAIN::aud(...):
 * _MAIN::_dup_1_aud__Cond_0(...) [ body ]
 ****************************************************************************/
int[*] _MAIN::_dup_1_aud__Cond_0( bool b { ,NN } , int y { ,NN } )
/*
 *  _dup_1_aud__Cond_0 ::  ---
 */
{ 
  int[*] z__SSA0_2 { , NN } ; 
  int[1]{3} z { , NN } ; 

  if (b) 
  { 
    z = [ 3 ]; 
  }
  else
  { 
    /* empty */
  }
  z__SSA0_2 = ( b ? z : y ); 
  return( z__SSA0_2); 
}


-----------------------------------------------