lemon/bits/mingw32_rand.cc
changeset 2159 dd3181a462d0