Parsing
Cleaning unused parts
Symbolic link
Starting semantical analysis
/* Generated by CIL v. 1.3.6 */
/* print_CIL_Input is false */

extern int printf(char const   * __restrict  __format  , ...) ;
extern  __attribute__((__nothrow__)) int atexit(void (*__func)(void) )  __attribute__((__nonnull__(1))) ;
extern  __attribute__((__nothrow__,
__noreturn__)) void exit(int __status ) ;
char *glob ;
int res ;
void test(void) 
{ 
  
  {printf((char const   *)"%s (%d);\n", glob, res);
  return;}

}
int main(int argc , char **argv ) 
{ 
  
  {atexit(& test);
  res = argc - 2;
  if (res > 1) {glob = (char *)"exit";
    exit(res);}
  
  glob = (char *)"return";
  return (res);}

}

