Which of the following Picat operators is used for destructive assignment of a value to a variable within an imperative loop?