mod for ex05_03.pl