chiark / gitweb /
Add a type hook for reporting the output record size.