c-checking_consistency converted to ConTeXt