void random_xid(void)

{

  int __fd;

  ssize_t sVar1;

  uint local_18 [3];

  if (DAT_0041bc30 != 0) {

    rand()   //possible issue identified - semgrep

    return;

  }

  __fd = open("/dev/urandom",0)   //possible issue identified - semgrep

  if (__fd < 0) {

    local_18[0] = time((time_t *)0x0);

  }

  else {

    sVar1 = read(__fd,local_18,4)   //possible issue identified - semgrep

    if (sVar1 < 0) {

      local_18[0] = time((time_t *)0x0);

    }

    close(__fd);

  }

  srand(local_18[0])   //possible issue identified - semgrep

  DAT_0041bc30 = DAT_0041bc30 + 1;

  rand()   //possible issue identified - semgrep

  return;

}