chiark / gitweb /
shared: add random-util.[ch]