OF_milliseconds
secs = OF_milliseconds() / 1000;
start = OF_milliseconds();
while (OF_milliseconds() - start < msecs);
int OF_milliseconds(void);