# For optimal results, strings should be added in descending length order.
function add_to_strtab(strtab, str, offsets, pos)
{
# For optimal results, strings should be added in descending length order.
function add_to_strtab(strtab, str, offsets, pos)
{