unsigned int a_example;

int main(void)
{
   ...
   if(a_example == 0x01FF)
   {
      // this should never happen
   }
   ...
}

void some_isr(void)
{
   a_example++;
   if(a_example > 0x0101)
   {
      a_example = 0;
   }
}