- Revision 7647: /home/yuri/tags/ksk-zsk-distinction/code