Hmm, how would the UK debt get divvied up?