void fun(){
  char L = 'A';
  char *H = &L;

  *H = 'B';

  if (L=='A')
     leak(secret);

}