rem: free(mPtr);
add: wfree(mPtr);
context: makeEditMenu(WMScreen *scr, WMWidget *parent, char *title){    WEditMenu *mPtr;    WEditMenuItem *item;    if (!EditMenuClass)	InitEditMenu(scr);    mPtr = wmalloc(sizeof(WEditMenu));    memset(mPtr, 0, sizeof(WEditMenu));    mPtr->widgetClass = EditMenuClass;    if (parent) {	mPtr->view = W_CreateView(W_VIEW(parent));	mPtr->flags.standalone = 0;    } else {	mPtr->view = W_CreateTopView(scr);	mPtr->flags.standalone = 1;    }    if (!mPtr->view) {	free(mPtr);	return NULL;    }    mPtr->view->self = mPtr;    mPtr->flags.isSelectable = 1;    mPtr->flags.isEditable = 1;    W_SetViewBackgroundColor(mPtr->view, scr->darkGray);    WMAddNotificationObserver(realizeObserver, mPtr,                              WMViewRealizedNotification, mPtr->view);    WMAddNotificationObserver(itemSelectObserver, mPtr,                              "EditMenuItemSelected", NULL);    mPtr->items = WMCreateBag(4);    WMCreateEventHandler(mPtr->view, ExposureMask|StructureNotifyMask,			 handleEvents, mPtr);        if (title != NULL) {	item = WCreateEditMenuItem(mPtr, title, True);	WMMapWidget(item);	WMPutInBag(mPtr->items, item);	mPtr->flags.isTitled = 1;    }    mPtr->itemHeight = WMFontHeight(scr->normalFont) + 6;    mPtr->titleHeight = WMFontHeight(scr->boldFont) + 8;    updateMenuContents(mPtr);        return mPtr;}