+ /* NOTE: the calculation *should* be as follows:
+ *
+ * u32 max_offset = window_size - LZX_MIN_MATCH_LEN;
+ * u32 max_formatted_offset = max_offset + LZX_OFFSET_OFFSET;
+ * u32 num_position_slots = 1 + lzx_get_position_slot_raw(max_formatted_offset);
+ *
+ * However since LZX_MIN_MATCH_LEN == LZX_OFFSET_OFFSET, we would get
+ * max_formatted_offset == window_size, which would bump the number of
+ * position slots up by 1 since every valid LZX window size is equal to
+ * a position base value. The format doesn't do this, and instead
+ * disallows matches with minimum length and maximum offset. This sets
+ * max_formatted_offset = window_size - 1, so instead we must calculate:
+ *
+ * num_position_slots = 1 + lzx_get_position_slot_raw(window_size - 1);
+ *
+ * ... which is the same as
+ *
+ * num_position_slots = lzx_get_position_slot_raw(window_size);
+ *
+ * ... since every valid window size is equal to a position base value.
+ */