rem: int i;
context: WMClearList(WMList *lPtr){    int oldSelected = lPtr->selectedItem;    int i;    WMEmptyArray(lPtr->items);    lPtr->topItem = 0;    lPtr->selectedItem = -1;    if (!lPtr->idleID) {        WMDeleteIdleHandler(lPtr->idleID);        lPtr->idleID = NULL;    }    if (lPtr->view->flags.realized) {        updateScroller(lPtr);    }    if (oldSelected != -1)        WMPostNotificationName(WMListSelectionDidChangeNotification, lPtr,                               (void*)-1);}