pub type MODIFY_VHDSET_FLAG = i32;