1  foo (a)
       2  {
       3    return (a & 0xfff000) != 0;
       4  
       5  }