lemon/bits/mingw32_rand.cc
changeset 2122 5b3737aa595a