Rewrote startup (for placement in PraSem).