lemon/random.cc
changeset 12 435bbc8127b3
child 16 22696f89d183