pub const SYZ_EVENT_TYPE_FINISHED: SYZ_EVENT_TYPES = 2;