# File lib/rdoc/markup/attribute_manager.rb, line 112
  def copy_string(start_pos, end_pos)
    res = @str[start_pos...end_pos]
    res.gsub!(/\000/, '')
    res
  end