This directory contains examples we'd like to verify. It's work in progress so
it doesn't mean we cover everything that's in these programs.