Text this: Federal Employee Retirement Funds and the Public Debt Limit.