1  foo (a)
       2  {
       3    int b = 0x1fff;
       4    return a & ~b;
       5  }