*<Null safety>*
int const DEFAULT_VMAR_RIGHTS
static const int DEFAULT_VMAR_RIGHTS = RIGHTS_BASIC & (~RIGHT_WAIT)