Esta puede bien ser la historia original ya que Hirieo es, presumiblemente, el epónimo de Hiria.