+++ /dev/null
-\BOOKMARK [1][-]{section.1}{Overview of Fleet}{}
-\BOOKMARK [1][-]{section.2}{The FleetTwo Dock}{}
-\BOOKMARK [1][-]{section.3}{Instructions}{}
-\BOOKMARK [2][-]{subsection.3.1}{Loop Counter}{section.3}
-\BOOKMARK [2][-]{subsection.3.2}{Flags}{section.3}
-\BOOKMARK [2][-]{subsection.3.3}{Predication}{section.3}
-\BOOKMARK [2][-]{subsection.3.4}{The Requeue Stage}{section.3}
-\BOOKMARK [3][-]{subsubsection.3.4.1}{The Updating State}{subsection.3.4}
-\BOOKMARK [3][-]{subsubsection.3.4.2}{The Circulating State}{subsection.3.4}
-\BOOKMARK [1][-]{section.4}{Instructions}{}
-\BOOKMARK [2][-]{subsection.4.1}{move}{section.4}
-\BOOKMARK [2][-]{subsection.4.2}{set}{section.4}
-\BOOKMARK [2][-]{subsection.4.3}{shift}{section.4}
-\BOOKMARK [2][-]{subsection.4.4}{abort}{section.4}
-\BOOKMARK [2][-]{subsection.4.5}{head}{section.4}
-\BOOKMARK [2][-]{subsection.4.6}{tail}{section.4}