vstd::prelude

Function arch_word_bits

pub fn arch_word_bits() -> nat