(!buffer_large_enough) -> (<> have_events_lost)