I don't know exactly. There's some process you go through with the IRS to find out what you were paid and how much was withheld in situations like this where the company just goes out of existence suddenly. The IRS has all that info anyway because companies withhold and submit the taxes (at least while they still exist).