2014-11-22-19.55.40: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  fun kill_gui:  Call free_rw_pixmap() on our main backing rw_pixmap and also all scratch rw_pixmaps allocated by widgets for this running gui.