(echo "\nEntering test_include5\n")
(echo "\nExiting test_include5\n")