Constant SYSTEM_HANDLE_MAX 

pub const SYSTEM_HANDLE_MAX: system_handle_t = 12i32;