begin
  owninteger      io
  integername     in
  integermap      im(integer i)
    result ==  io
  end
  
  in == im(1)
  
endofprogram