chiark / gitweb /
Rename symbols in line with newer conventions.