while (NULL == (void*)0);