IsNodeInList: PROC [node: Mint.Node, nodeList: Mint.NodeList] RETURNS [found: BOOLEAN ← FALSE];

AppendNodeLists: PROC [top, bottom: Mint.NodeList] RETURNS [nodeList: Mint.NodeList ← NIL];

AppendFetLists: PROC [top, bottom: Mint.FetList] RETURNS [fetList: Mint.FetList ← NIL];