chiark / gitweb /
Move default seed setting to main().