chiark / gitweb /
Add a midend function to return the current random seed, parallel to