verify_smach
if (!verify_smach(dsmp))
if (verify_smach(dsmp)) {
boolean_t verify_smach(dhcp_smach_t *);