begin
  integermap wurd(integer ad)
    result == integer(ad)
  end
  integername i,j
  i == integer(16_8000)
  j == wurd(16_8000)
  i=1
  j=1
fred:
  i == integer(16_8001)
  j == integer(16_8001)
  i=1
  j=1
endofprogram