code: def FindNextMultiLineCommentEnd(lines, lineix):
    
    while lineix < len(lines):
      if lines[lineix].strip().endswith('*/'):
        return lineix
      lineix += 1
    return len(lines)
docs: We are inside a comment, find the end marker.