Symbol: CP_NONEMPTY