x := - 10