已知两个带头结点的非递增有序的单链表A和 B,设ha是单链表A的头指针,hb是单链表B的头指针，试设计一个算法，将这两个单链表合并成一个非递增有序的单链表C.要求单链表C仍使用原来两链的存储空间。

为了合并两个非递减有序的单链表 A 和 B，并保持链表 C 的非递增有序，可以采用以下步骤：

1. 初始化两个指针 `pa` 和 `pb` 分别指向链表 A 和 B 的头节点，同时初始化一个新的头节点 `pc` 作为结果链表 C 的头。

2. 比较 `pa` 和 `pb` 指向的节点值：
- 如果 `pa` 指向的节点值小于等于 `pb`，将 `pa` 后面的节点连接到 `pc`，然后移动 `pa` 到 `pa->next`；
- 否则，将 `pb` 指向的节点连接到 `pc`，然后移动 `pb` 到 `pb->next`。

3. 当其中一个链表遍历完（即一个链表为空），将另一个链表剩余部分连接到链表 C 的尾部。

4. 遍历结束后，链表 C 就是合并后的非递减有序链表。最后返回 `pc` 作为链表 C 的头节点。

以下是伪代码表示：

function mergeSortedLists(ha, hb):
    pc = new Node()  # 创建新链表的头节点，初始值设为 None
    pa = ha
    pb = hb

    while pa is not None and pb is not None:
        if pa.value <= pb.value:
            pc.next = pa
            pa = pa.next
        else:
            pc.next = pb
            pb = pb.next
            
        pc = pc.next  # 更新合并后链表 C 的头指针

    # 如果 A 或 B 还有剩余节点，将其直接添加到 C 的尾部
    if pa is not None:
        pc.next = pa
    elif pb is not None:
        pc.next = pb

    return pc