Type Alias State 

type State = u32;