static S bracketHygieneMsg(S s) {
  new Var<S> msg;
  testBracketHygiene(s, msg);
  ret msg.get();
}