PPPOED_SESSION_SHUFFLE_MARK
(void *)PPPOED_SESSION_SHUFFLE_MARK) == NULL) {
if (session_id != PPPOED_SESSION_SHUFFLE_MARK)
(void *)PPPOED_SESSION_SHUFFLE_MARK);
(void *)PPPOED_SESSION_SHUFFLE_MARK);