UDF_ICB_FILETYPE_VAT
if ((filetype != 0) && (filetype != UDF_ICB_FILETYPE_VAT))
filetype = UDF_ICB_FILETYPE_VAT;
filetype = UDF_ICB_FILETYPE_VAT;
KASSERT((filetype == 0) || (filetype == UDF_ICB_FILETYPE_VAT));
if ((filetype != 0) && (filetype != UDF_ICB_FILETYPE_VAT))
case UDF_ICB_FILETYPE_VAT :