TEST: file to test all doctests at once