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

void FUN_00400ef0(void)

{

  if (DAT_00417330 == '\0') {

    __deregister_frame_info(&DWORD_00406648);

    DAT_00417330 = '\x01';

  }

  return;

}