$prefix: mzn-progress;