// experi6h.c

#include <dos.h>
#include <stdio.h>
#include <bios.h>
#include "extern6h.h";

void main(void)
{
  set_up_new_timer();
  
  while(!kbhit())
  {
     printf("%ld\n",get_timer_counter());
  }

   restore_old_timer();
}

// end experi6h.c