void FUN_004051dc(void)

{

  undefined4 *__ptr;

  void *pvVar1;

  __ptr = (undefined4 *)DAT_00422a54;

  while (__ptr != (undefined4 *)0x0) {

    pvVar1 = (void *)*__ptr;

    if ((void *)__ptr[1] != (void *)0x0) {

      free((void *)__ptr[1]);

    }

    if ((void *)__ptr[2] != (void *)0x0) {

      free((void *)__ptr[2]);

    }

    free(__ptr);

    __ptr = (undefined4 *)pvVar1;

  }

  DAT_00422a54 = (void *)0x0;

  return;

}