Simplify procedure `main`.