$prefix: mzn-skeleton;