假设有两个技元素递增有序排列的线性表A和B，均以单链表做存储结构。请编写算法，将表A 和表B 归并成一个按元素值非递减有序（允许值相同）捧列的线性表C，并要求利用原表（即表A和表B）的结点空间存放表C。

要合并两个已排序的单链表A和B，可以创建一个新的链表C，并采用归并排序的思想。以下是算法步骤：

1. 初始化：
- 创建三个指针，分别指向表A、表B的头节点（假设分别为`headA`和`headB`），以及一个表示当前结果列表C的头节点`headC`，初始时都设为空（`None`）。
- 定义两个临时变量`current`和`prev`，用于跟踪链表C的当前节点和前一个节点。

2. 合并过程：
- 当`headA`和`headB`都不为空时：
a. 比较`headA`和`headB`的值，选择较小的一个作为新链表C的下一个节点，并将其赋给`current`。
b. 将`current`指向的节点移到链表C，如果`current`来自A，更新`headA`；如果来自B，更新`headB`。
c. 如果选择的是`headA`，移动`headA`到其下一个节点；如果是`headB`，也移动`headB`到其下一个节点。
d. 如果两个头节点都为空，则说明其中一个链表已经遍历完，将另一个链表剩余部分接到C的尾部即可。
- 当有一个链表空时，将另一个链表剩下的部分接到C的尾部。

3. 结束操作：
- 链表C的最后一个节点将是合并后的有序链表。

以下是合并过程的伪代码形式：

def merge_sorted_lists(headA, headB):
    headC = None
    prevC = None

    while headA and headB:
        if headA.value <= headB.value:
            if not prevC:
                headC = headA
            else:
                prevC.next = headA
            prevC = headA
            headA = headA.next
        else:
            if not prevC:
                headC = headB
            else:
                prevC.next = headB
            prevC = headB
            headB = headB.next

    # 将剩余的部分连接到C
    if headA:
        prevC.next = headA
    elif headB:
        prevC.next = headB

    return headC