begin

  integername ptr
  
  integermap intmap
    owninteger local
    result == local
  end
  
  if intmap == ptr then stop

endofprogram