var
  x: Int
  x: Int (* @Error Symbol 'x' has been already defined *)

begin
end.