;; Function main (main, funcdef_no=13, decl_uid=2241, symbol_order=13) (executed once)

main ()
{
  int c;
  int b;
  int a;
  int c.0_4;
  int b.1_5;
  int a.2_6;
  int _11;
  int _12;

  <bb 2>:
  __builtin_puts (&"Donnez 3 entiers"[0]);
  scanf ("%d %d %d", &a, &b, &c);
  c.0_4 = c;
  b.1_5 = b;
  _11 = b.1_5 - c.0_4;
  a.2_6 = a;
  _12 = a.2_6 - _11;
  printf ("%d\n", _12);
  a ={v} {CLOBBER};
  b ={v} {CLOBBER};
  c ={v} {CLOBBER};
  return 0;

}