// ----------------------------------------------------------------------------
//
// prog.imp
// Example program for the operational semantics in the K framework.
//
// (c) 2017, Wolfgang Schreiner: Thinking Programs.
//
// ----------------------------------------------------------------------------

n := 5;
a := 0;
i := 0;
while ~(i = n) do
{ 
  var b;
  {
    b:=2*i+1;
    a:=a+b; 
  }
  i:=i+1;
}

// ----------------------------------------------------------------------------
// end of file
// ----------------------------------------------------------------------------