retirement fund for the debentures