[FIX] CEC: end of non-void reached