CHECK_CAST deals with NULL