Constant video_format_VIDEO_FORMAT_Y800 

pub const video_format_VIDEO_FORMAT_Y800: video_format = 9;