begin
   Integer K
   Integer Map  Int Map
      Result == K
   End   { of Int Map.
endofprogram