chiark / gitweb /
machine: fix scope allocation