Constant CPU_STATE_MAX 

pub const CPU_STATE_MAX: c_int = 4;