K 10
svn:author
V 2
bp
K 8
svn:date
V 27
2001-03-06T09:59:18.000000Z
K 7
svn:log
V 118
A name of the file can change while its id stays the same. So, we have
to update it as well.

Remove unused function.

END