x@y := 10