/* Keep rebooting (put in AUTOEXEC.BAT) JTHZ feb.97 */
short far*bios_post=(short far*)0x00400072;
void (far*boot)()=(void(far*)())0xffff0000;
void main(){
  *bios_post=0;
  boot();
}