Yeah I thought about that, but this code is going to be executed under quite rare circumstances. Maybe we'd better choose simplicity?