(echo "\nentering test_include3\n")
(include "test_include5")
(echo "\nback to test_include3\n")