begin
  integermap im
    owninteger oi
    result == oi
  end
  integername in
  in == im
endofprogram