chiark / gitweb /
rename parse-input-graph