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

void FUN_004024d0(void)

{

  if (DAT_00438d90 == '\0') {

    __deregister_frame_info(&DWORD_00428820);

    DAT_00438d90 = '\x01';

  }

  return;

}