/* WARNING: Removing unreachable block (ram,0x004017a8) */

void FUN_00401750(void)

{
  if (DAT_0041ce70 == '\0') {
    __deregister_frame_info(&cie_0041c9e4);
    DAT_0041ce70 = '\x01';
  }
  return;
}