#include <stdio.h>

void B(int* fortune) 
{
   *fortune = *fortune + 1;    // instant T2
   printf("Fortune T2 %d\n",*fortune);   
}

main() 
{
   int FortuneTotale;
   FortuneTotale = 55;         // instant T1 
   printf("Fortune T1 %d\n",FortuneTotale);   
   B(&FortuneTotale);          // instant T3
   printf("Fortune T3 %d\n",FortuneTotale);   
}
