[seanmcdirmid]

Only if you don’t count SOE debt as government debt. It gets weird when so many companies are owned by the state. That SOE debt also includes all the debt used to build china’s HSR system.