Right now, though, more comes in than goes out, and the excess is invested in government bonds.
Government bonds are funded with the excess that is coming in.