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

bool FUN_14016dbf0(int *param_1)

{
  return *param_1 == 0x3faf713;
}