Fix lack of declaration of 'CHECK'.