void FUN_00419778(void *param_1)

{

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

  free(param_1);

  if (DAT_0043cdd0 != 0) {

    DAT_0043cdd0 = DAT_0043cdd0 + -1;

    return;

  }

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

                    /* WARNING: Subroutine does not return */

  exit(1);

}