Я пытался наблюдать за изменением «int a» командой «watch a». Тем не менее, программа не останавливается, когда она меняется на 12. Почему?

 /* FILE: test.c */
 #include <stdio.h>
 #include <stdlib.h>

 int main(int argc, char** argv){
  printf("Hello world\n");

  int a = 12;
  a = 10;                                                                                                                                                                      
  return 0; 
 }