A Mimosa 2.0 module for Coco compiling