pub const cdio_dvd_book_CDIO_DVD_BOOK_HD_DVD_R: cdio_dvd_book = 6;