/* DBCServer_Release_x64.exe sha256 d9e4fccdf3482e50247686d4452c0b13c75a53efc4bd7320668eece8d1ce828c
 * Ghidra 12.1.2 decompiler output for 0x1401bad00 FUN_1401bad00
 * Pseudocode, not original source. */

undefined8 FUN_1401bad00(longlong param_1)

{
  FUN_1401babf0(param_1 + -0x88);
  return 0;
}