ADDED: ex25.pl contains a pending bug.