[testpattern init
Don Stewart <dons@galois.com>**20080831053344] 
[more notes
Don Stewart <dons@galois.com>**20080831053921] 
[more
Don Stewart <dons@galois.com>**20080831053946] 
[all good
Don Stewart <dons@galois.com>**20080831054019]