2013-01-22-21.30.26: src/lib/make-library-glue/make-library-glue.pkg: Plugin: FIGURE_FUNCTION_RESULT_TYPE.