let
empty p = (
Queue
.clear p.lines; p.unfinished_line <-
None
)