svoid dm_waitWhileBooting() {
  while (dm_isBooting()) sleep(100);
}