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

void FUN_004011b0(void)

{

  if (DAT_00416ab0 == '\0') {

    __deregister_frame_info(&DWORD_00406898);

    DAT_00416ab0 = '\x01';

  }

  return;

}