K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1996-03-17T09:01:44.000000Z
K 7
svn:log
V 46
Merge from HEAD (fix of sign-extension bugs).

END