with calendar, text_io;
procedure print_date is  -- an improvement? over Appleby page 114 example.
	package iio is new text_io.integer_io(num=>integer);

	function day return calendar.day_number is
	begin 
		return calendar.day(calendar.clock);
	end day;

	function year return calendar.year_number is
	begin 
		return calendar.year(calendar.clock);
	end year;

	subtype month_type is string(1..3);
	months:array(1..12) of month_type:=
	("Jan", "Feb", "Mar", "Apr", "May", "Jun", 
	 "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");

	function month return month_type is
	begin 
		return months(calendar.month(calendar.clock));
	end month;

begin
	text_io.put ("The date is: ");
	text_io.put(month); text_io.put("/");
	iio.put(  day, width=>2); text_io.put("/");
	iio.put( year, width=>2); text_io.new_line;
end;