Symbol: dhcp_t