static new ThreadLocal<Bool> assertVerbose_value;

svoid assertVerbose(bool b) {
  assertVerbose_value.set(b);
}

sbool assertVerbose() { ret isTrue(assertVerbose_value!); }