1The files in this directory are read by genscripts.sh as shell commands. 2They set parameters for the emulations. 3