Whitespace
Clarifying END_SEGMENT a little
wrap
Forbidding WINDOW_UPDATE(0)