or else allegro and allegromodern will clash wrt fasls. Make test-stamp-propagation pass on LispWorks.