sfr S0_TCON             _at_ 0x88; // An SFR must have a byte address
  sbit    SB0_TCON_TF1    _at_ 0x8f; // A  bit must have a bit address
  sbit    SB0_TCON_TR1    _at_ 0x8e;
  sbit    SB0_TCON_TF0    _at_ 0x8d;
  sbit    SB0_TCON_TR0    _at_ 0x8c;
  sbit    SB0_TCON_IE1    _at_ 0x8b;
  sbit    SB0_TCON_IT1    _at_ 0x8a;
  sbit    SB0_TCON_IE0    _at_ 0x89;
  sbit    SB0_TCON_IT0    _at_ 0x88;