Constant SE_STARFILE_OLD 

pub const SE_STARFILE_OLD: &[u8; 13] = b"fixstars.cat\0";