
Examples: Coding Style

 - do not use tabs.  use only spaces.
 
 - indentation = 2 spaces always
 
 - write functions like this:
 int func(int x, real[] y) {
   S1;...
 }
 
 
 - write while loops like this:
 while (expr) {
   foo.....
 }
 
   Note: space before left paren and after right paren, left brace on same line as while, right brace
   starts new line.
 
 - write if-else statements like this:
 if (expr) {
   foo;
 } else {
   bar;
 }
 
   Note: else on same line as left brace and right brace
 
 - one blank line separates variable declarations from first statement in block
 
 - name the files comprising one example directory using the following pattern:
 
   arrayLoopSpec.mmp
   arrayLoopImpl.mmp
   arrayLoopSpec_2.mmp
   arrayLoopImpl_2.mmp
   etc.
   
   Note: use camel case, starting with lower-case letter
   Spec or Impl denotes specification and implementation versions.
   _2 indicates a version in which the main input variable (N) is bounded at 2.
   Other examples might use different but similar notations, like foo_2_3.mmp.
   
 Remember:
  - output variables can only be written to, not read
  - input variables can only be read, not written to
  - eventually we should re-introduce for-loops
