> does not use "separate government funding".

Yes, it does. The Obama administration explicitly appropriated general government funds to try and make up a developing shortfall in the 'fund'. There is no money being accumulated because there are more payouts than taxes - but even if that wasn't the case, these are not actual "bonds" that have been bought on any market, they're just non-market government obligations.