INT_MAXより小さいユニークIDの最も効率のよい生成器は?