begin
  integer local

  integermap fred
    result == local
  end

  fred = fred + 1

endofprogram