update CNFEXP.h