use CHECK_TRUE() and CHECK_FALSE() macros