const CONDVAR_ID_OFFSET: u64 = 0;