Constant HCF_DEFAULTDESKTOP 

pub const HCF_DEFAULTDESKTOP: u32 = 512;