chiark / gitweb /
Eject a bunch of never-read variables, to reduce noise in scanned