'test.ml' is self-contained