Changes in ex5.3.rb and ex5.4.pl