`test.sh compiledast` passes!  It is now part of test suite.