# File rtex.rb, line 529
                def get_label( hash, key, source )
                        pos = hash.fetch(key, 0)
                        Logger.add(3, self.class,  "Label #{key} not found in #{source}") if pos == 0
                        return pos
                end