 ;;;           417-433: for loop from 0-bytes read
 ;;;                    Copies bytes from incoming message buffer to message[][]
   (when (= 0 (.readableBytes buf))
+    ;; Yes, this is supposed to kill the entire process
+    ;; TODO: Be more graceful
     (throw (AssertionError. "Bad Message")))
 
   ;; Reference implementation is really reading bytes from

;;;                  Those are really the length at position 38 and initial
;;;                  offset at position 40, thanks to starting the send
;;;                  with length/16 at offset 7.
;;;        562-574: calculate start/stop bytes
;;;        576-579: SF (StopFlag? deals w/ EOF)
;;;        581-588: copy incoming into receivebuf
;;;                 set the receivevalid flag
;;;        589-593: increment the receivebytes count
;;;        595: never acknowledge a pure acknowledgment (DJB)
;;;             This short-circuits if something extracts to 0

  [bb]
  (.readShort bb))

(s/fdef flag-acked-others!
        :args (s/cat :state ::specs/state)
        :ret ::specs/state)
(defn flag-acked-others!
  "Lines 544-560"
  [{:keys [::specs/buf]
    :as state}]
