while(!$done) {
	check_for_collisions();
	run_callback_routines();
	update_display();
}