local result = {line=loc1.line, screen_line=1}

  if loc1.pos then
    return Text.to2A(State, loc1)
  else
    return Text.to2B(State, loc1)
  end
end
function Text.to2A(State, loc1)
  local result = {line=loc1.line}

  return result
end
function Text.to2B(State, loc1)
  local result = {line=loc1.line}
  Text.populate_screen_line_starting_posB(State, loc1.line)
  for i=#State.line_cache[loc1.line].screen_line_starting_posB,1,-1 do
    local sposB = State.line_cache[loc1.line].screen_line_starting_posB[i]
    if sposB <= loc1.posB then
      result.screen_lineB = i
      result.screen_posB = loc1.posB - sposB + 1
      break
    end
  end
  assert(result.screen_posB)

  if loc2.screen_pos then
    return Text.to1A(State, loc2)
  else
    return Text.to1B(State, loc2)
  end
end
function Text.to1A(State, loc2)

function Text.eq1(a, b)
  return a.line == b.line and a.pos == b.pos

function Text.to1B(State, loc2)
  local result = {line=loc2.line, posB=loc2.screen_posB}
  if loc2.screen_lineB > 1 then
    result.posB = State.line_cache[loc2.line].screen_line_starting_posB[loc2.screen_lineB] + loc2.screen_posB - 1
  end
  return result

  return a.pos < b.pos
end
function Text.le1(a, b)
  if a.line < b.line then

  -- A side < B side
  if a.pos and not b.pos then

  if a.line > b.line then

  if not a.pos and b.pos then

  return a.pos <= b.pos

  if a.pos then
    return a.pos < b.pos
  else
    return a.posB < b.posB
  end
end
function Text.le1(a, b)
  return eq(a, b) or Text.lt1(a, b)