Chilling COQ (ccoq)