Constant MaximumFileIdType 

pub const MaximumFileIdType: FILE_ID_TYPE;