Type Alias BDDVAR 

pub type BDDVAR = u32;