Constant NAVDIR_MAX 

pub const NAVDIR_MAX: u32 = 9u32;