static const int TYPE_GENERAL;
static const int TYPE_WARNING;
static const int TYPE_ERROR;
static const int TYPE_GENERAL;
static const int TYPE_WARNING;
static const int TYPE_ERROR;
static const int TYPE_DEBUG_ENCODE;
static const int TYPE_TIMING;
static const int TYPE_DEBUG_EMAIL;
static const int TYPE_DEBUG_VIDEO_VIEW; ///< real-time video viewing (i.e. "playback")
static const int TYPE_DISK;
static const int TYPE_DEBUG_PLAYER; ///< the Player class
static const int TYPE_DEBUG_ENCODE;
static const int TYPE_TIMING;
static const int TYPE_DEBUG_EMAIL;
static const int TYPE_DEBUG_VIDEO_VIEW; ///< real-time video viewing (i.e. "playback")
static const int TYPE_DISK;
static const int TYPE_DEBUG_PLAYER; ///< the Player class