pub const AUXDM_GETNUMDEVS: u32 = 3u32;