svoid tok_varMixIn(LS tok) {
  jreplace(tok, "& Var {", "{\n"
    + "!include once #1032845 // Var mix-in\n");
}