Cexpr annexe modified