Exporting funcall-widget-fun-designator