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