void FUN_0041b148(void *param_1)

{

  close(*(int *)((int)param_1 + 8));

  free(param_1);

  if (DAT_004410f0 != 0) {

    DAT_004410f0 = DAT_004410f0 + -1;

    return;

  }

  dprintf(3,"dhcp6_ctl_closecommand","assumption error: command queue is empty?");

                    /* WARNING: Subroutine does not return */

  exit(1);

}