trusty - Revision 6195: /transgenic/trunk/fuentes/examples