I don't know how this one will work out either for certain, but I did have Six Flags and those went to SIX q-whatever and the old SIX shares became worthless (or at least that's what the PRs said).
I don't think it's a certainty what happens. It depends on the details of the bankruptcy and, if possible, the details of the emergence from bankruptcy.
Or, maybe I'm completely wrong.