const CONDVAR_ID_OFFSET: u64 = 4;