/* Cadre de pile :         
              
bp -- > 0x7fffffffe0f0:  sauvegarde bp 
						variables locales
	0x7fffffffe0e8:	 0    r
	
	0x7fffffffe0e0:	 0x4004ad <main+23>	adresse  de retour
						
        					parametres
	0x7fffffffe0d8:	 23   x
	0x7fffffffe0d0:	 5    y
*/

typedef unsigned long long ullong;

ullong proc( ullong x, ullong y)
{ ullong r = 0;
  r = x + y;
  return r;
}

int main(void)
{
ullong    s;
       s = proc( 23, 5 );
return 0;
}