. . "The Secretary of Transportation is authorized to issue to the Secretary of the Treasury notes or other obligations pursuant to section 512 of the Railroad Revitalization and Regulatory Reform Act of 1976 (Public Law 94-210), as amended, in such amounts and at such times as may be necessary to pay any amounts required pursuant to the guarantee of the principal amount of obligations under sections 5" . .