package Hasabok is

	-- type Hasab is abstract tagged null record;
	type Hasab is abstract tagged record
		magassag: POSITIVE;
	end record;

	function Alapterulet ( h: Hasab ) return POSITIVE is abstract;
	function Terfogat ( h: Hasab'Class ) return POSITIVE;

end Hasabok;