1This test is just a minimal test involving assembling a jasmin source
2file and then dumping it. It doesn't test any features in particular.
3