Fix 'assert to use ppr-main, which takes indentation
Fix 'assert to use ppr-main, which takes indentation

Cosmetic changes:
 - Remove ^L characters from util.arc

LaxWorks/news,LaxWorks/news,LaxWorks/news,LaxWorks/news