void FUN_00400b70(void)

{

  undefined4 *puVar1;

  puVar1 = &o_namemap;

  do {

    if ((void *)*puVar1 != (void *)0x0) {

      free((void *)*puVar1);

      *puVar1 = 0;

    }

    puVar1 = puVar1 + 2;

  } while (puVar1 != (undefined4 *)&_end);

  return;

}