On the recordFebruary 16, 2005
No, it is not included. And what I am saying here is this additional debt will be stacked on top of what is already monumental statutory debt of the United States growing every year because of the deficit in our regular budget, growing every year.
Source
govinfo.gov




