lemon/random.cc
changeset 15 062f361aa520
child 16 22696f89d183