1These tests have not made it into the automatic test suite, probably because
2they have no automatic validation, or because they take an insane amount of
3time to finish.
4