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  , ...) ;
int main(int argc , char **argv ) 
{ char *str ;
  char const   *tmp ;
  int pos ;
  int __retres ;
  
  {if (argc < 2) {tmp = "";}
   else {tmp = (char const   *)*(argv + 1);}
  
  str = (char *)tmp;
  printf((char const   *)"%2$2s%1$n.\n", & pos, str);
  printf((char const   *)"dot position=%d\n", 1 + pos);
  __retres = 0;
  return (__retres);}

}

