Changed definition due to incorrect operator precedence on inputs.
Changed the decomp_window_wrapped variable to a variable decomp_window_remaining that contains the number of indices in decomp_window that are not used.
Replaced every occurrence of max_pointer with 256 explicitly, to get rid of an annoying ValuesLemma.
Off-by-one error.
Refactoring.