pub type SYZ_LOGGING_BACKEND = c_uint;