Symbol: LIST_PLUS_CHECK