mirror for the Coco/R compiler generator