x := 5,
y := x + 5 * 3; x & y
]