My first guess would be simple oversight on your behalf.

Example:
Code:
int main(void)
{
  int number = 15;

  printf("number = %d\n", number);
  
  number -= 13;
  printf("number - 13 = %d\n", number);

  getchar();  

  return 0;
}
Something like that should work, if not then feel free to post back.