chiark / gitweb /
Remove six unused variables and add annotation