1  static int val;
       2  int set_val (void)
       3  {
       4    val = 5;
       5  }
       6  int get_val (void)
       7  {
       8    return val;
       9  }
      10  __attribute__ ((__noinline__)) void
      11  do_nothing ()
      12  {
      13    asm volatile ("":::"memory");
      14  }