{ let x.y:u256 := 2:u256 } // ----