Random tests while I learn to use metapost