File val-tests.fmsl, line 5, char 7:
	x is not a global variable that can be set.