chiark / gitweb /
Get rid of type aliasing