void push(RecordNumber recordNumber) {
			RecordNode node = getNode(recordNumber);
			if (node == head.prev) {
				return; // already on top of stack
			}
			if (node == null) {
				node = new RecordNode(recordNumber);
				if (debug) {
					if (map.isEmpty()) {
						debugBuilder = new StringBuilder();
					}
					debugBuilder.append("push:");
					debugBuilder.append(recordNumber);
					debugBuilder.append("\n");
				}
				map.put(recordNumber, node);
				numNodes++;
			}
			else { // already exists in non-top-of-stack position
				removeNodeLinkage(node);
			}
			insertNodeLinkage(head, node);
		}
Pushes the record number onto the top of the stack.  If the record number was already
 on the stack, it is moved to the top
@param recordNumber the record number to push
Ghidra/Features/PDB/src/main/java/ghidra/app/util/pdb/pdbapplicator/MultiphaseDataTypeResolver.java