Function vstd::prelude::arch_word_bits

pub fn arch_word_bits() -> nat