/* MessageServer_Release_x64.exe sha256 7911b15c4379625eaa12ff227708aa3a033bc6ac2cf6b34283136e3a62df25f1
 * Ghidra 12.1.2 decompiler output for 0x14012f400 FUN_14012f400
 * Pseudocode, not original source. */

/* WARNING: Globals starting with '_' overlap smaller symbols at the same address */

void FUN_14012f400(void)

{
  if (7 < DAT_1401b35c0) {
    operator_delete((void *)CONCAT62(_DAT_1401b35aa,DAT_1401b35a8));
  }
  DAT_1401b35c0 = 7;
  _DAT_1401b35b8 = 0;
  DAT_1401b35a8 = 0;
  return;
}