ex08-verifyavl-public

This is the public repo -- do not clone me! Remember to work in your individual repo.