chiark / gitweb /
process-util: trivial optimization