ECSTR14x2: Useful additions to assertions chap:wq
 Please enter the commit message for your changes. Lines starting