Use generic paths in examples.
Add assert types to show better error messages in VC.