(echo "\nentering test_include2\n")
(include "test_include4")
(echo "\nback to test_include2\n")