Symbol: CHECK_AND_PRINT