Test exception constants
Run optimization passes only once
Allow arbitrary overlays