variation on smack-verify.py for CAS experiments
broke up lines > 79 chars, to make it possible for me to read the code on an 80-column text editor