undefined4 lease_init(void)

{

  void *pvVar1;

  int iVar2;

  undefined4 uVar3;

  int iVar4;

  dprintf(7,"lease_init","called");

  pvVar1 = malloc(0x400)   //possible issue identified - semgrep

  DAT_0043cdc0 = pvVar1;

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

    uVar3 = 0xffffffff;

  }

  else {

    iVar4 = 0;

    do {

      iVar2 = iVar4 * 4;

      iVar4 = iVar4 + 1;

      *(undefined4 *)((int)pvVar1 + iVar2) = 0;

    } while (iVar4 != 0x100);

    DAT_0043cdcc = &LAB_00417e5c;

    DAT_0043cdc8 = &LAB_004174c0;

    uVar3 = 0;

    DAT_0043cdc4 = 0x100;

  }

  return uVar3;

}