I wonder if the government gets first dibs on assets if it fails. That would leave investors with zero leverage. Also would let government say they tried to help. This could be good news for NK to get through the July DIP payment anyway.