pub const RSB_WITH_HWLOC: u32 = 0;