method M(n: int)
{
  // count up to 'n'; will this program terminate?
  var i := 0;
  var m := n;
  while i < m
  {
    i := i + 1;
    m := 5 + 5 * i - i * i;
  }
}