/** waits a general amount of time */
void busy_sleep(int ms);