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

void FUN_00402880(void)

{

  if (DAT_0043e9a0 == '\0') {

    __deregister_frame_info(&DWORD_0042e280);

    DAT_0043e9a0 = '\x01';

  }

  return;

}