#define TOPBIT 0x80000000

void sendHeader() {
   onIR;
   _delay_us(2400);
   offIR;
   _delay_us(600);
};

void SendOne() {
   onIR;
   _delay_us(1200);
   offIR;
   _delay_us(600);
};

void SendZero() {
   onIR;
   _delay_us(600);
   offIR;
   _delay_us(600);
};

void sendMilesTagPackage(unsigned long data, int nbits) {
  sendHeader();

  data = data << (32 - nbits);
  for (int i = 0; i < nbits; i++) {
    if (data & TOPBIT) {
   SendOne();
    }
    else {
   SendZero();
    }
    data <<= 1;
  }
  offIR;
}

void sendRespawn()
{
       unsigned long data = 0b100000110000010111101000;      // Milestag respawn command from specification
       sendMilesTagPackage(data, 24);

}