The files in this directory are intended to be copied verbatm to 
$GEMSTONE/examples/jadeite/gs
