MWW: it works, at least for the test1 model :).  Need significantly more
tests, which I will work on tomorrow.
Some example models that I've been using for testing the trusted build
stuff.