checks.h
Throws a CHECK exception if <cond> equals 0. Use CHECK to perform value checking within a function.