pub const RTAPI_INT32_MAX: u32 = 2147483647;