/graphics/metapost/contrib/misc/