module duplicate_variable;

var
	a : integer;
	a : integer; // must croak about redefining a const as a variable
	
begin
	a := 1;
	b := 7;
	c := 8;
end