Constant sel4_config::consts::WORD_SIZE

pub const WORD_SIZE: &str = "64";