#include <stdio.h>
#include <time.h>

void sleep( unsigned long waitms )
{
   clock_t goal;
   goal = (double)CLOCKS_PER_SEC*waitms/1000. + clock();
   while( goal > clock() ) ;
}

int main()
{
   clock_t start;

   start = clock();
   sleep( 1234 );
   printf( "%f seconds\n", (double)(clock() - start) / CLOCKS_PER_SEC );

   return 0;
}