Any sums appropriated pursuant to subsection (b) of this section for any fiscal year shall be available for apportionment pursuant to section
1087bb of this title and for payments of Federal capital contributions therefrom to institutions of higher education which have agreements with the Secretary under section
1087cc of this title. Such Federal capital contributions and all contributions from such institutions shall be used for the establishment, expansion, and maintenance of student loan funds.