On Thu, Jul 4, 2013 at 2:52 AM, Simon Peyton-Jones <simonpj@microsoft.com> wrote:

Do you put the FS table back after running the plugin? If not, the same unique may be allocated more than once.

S

No, I did not do that. And writing this email, I realized my initial reasoning was flawed. There are some decisions to be made.

I've written it up here. Feel free to skip Option 1; I think it has the least merit.

I'd appreciate if people could weigh in.