(assert (
; end of file follows and ( still open