EC_EVENT_OUTPUT_BUFFER_FULL
event = EC_EVENT_OUTPUT_BUFFER_FULL;
status = EcWaitEvent(sc, EC_EVENT_OUTPUT_BUFFER_FULL, generationCount);
(((event) == EC_EVENT_OUTPUT_BUFFER_FULL && \