static Symbol symbol_dollarX_value;

static Symbol symbol_dollarX() {
  if (symbol_dollarX_value == null)
    symbol_dollarX_value = symbol("$X");
  ret symbol_dollarX_value;
}