#if defined(_WIN32)
#include <windows.h>
#else
#include <unistd.h>
#endif

/* sleeps for 4n seconds, where n is the argument to the program */
int main(int argc, char** argv)
{
  int time;
  if (argc > 1) {
    time = 4 * atoi(argv[1]);
  }
#if defined(_WIN32)
  Sleep(time * 1000);
#else
  sleep(time);
#endif
  return 0;
}