void xmalloc(size_t param_1)

{

  void *pvVar1;

  pvVar1 = malloc(param_1)   //possible issue identified - semgrep

  if (pvVar1 == (void *)0x0) {

    die("xmalloc: allocation of %d bytes failed",param_1);

  }

  return;

}