#include <stdlib.h>
#include <unistd.h>

/* dummy routine with sleeping rounded to seconds */
void ms_sleep(t)
int t;
{
 int s;
 if(t <= 0) {
   return;
   }
 s = t/1000;
 if(s > 0) {
   sleep(s);
   }
 return;
 }