package Example with Pure is
--This package should be conceptualized as a third party library. To prove this still works, you are encouraged to build and install it, remove it from this repo, then build and run the other sources.

private
	Int : constant Integer := 42; --This value is private, clearly. Only it's not.

end Example;
