pub const FF_PROFILE_MPEG4_ADVANCED_REAL_TIME: c_int = 9;