replace CHECK with JUBA_CHECK