指称语义：赋值语句实现