MSG_IFADDR
msg_array[MSG_IFADDR] = count++;
ATF_REQUIRE_MSG(msg_array[MSG_IFADDR] == 0, "ifaddr message is not the first");
msg_array[MSG_IFADDR] = count++;
ATF_REQUIRE_MSG(msg_array[MSG_IFADDR] == 0, "ifaddr message is not the first");