These two lines are can't work, since `test_ex4()` is not defined anywhere. I assume they should be just deleted?