[davidw]

This is a lot of thinking and work to replace an auto-incremented integer, which is simple and works fine in most cases, though.