* commons/common.ml: diet
diet CEs