package Array15 is function F (I : Integer) return Integer; end Array15;