chiark / gitweb /
use WRITE_END/READ_END for the pipe index