I want to print a field whose name start with $ with Byteman, e.g. there’s a

class Foo {
  static int $5;
}

My problem is that Byteman interprets $ in leading position for its own purposes, as arguments or locals, so on

DO traceln(Foo.$5)

Byteman throws an

org.jboss.byteman.rule.exception.ParseException: rule  ...
Illegal character <$>

I’ve looked a bit at the manual, but I see no obvious way to escape it. I tried $$5 but it doesn’t work. So how do you escape $ in Byteman?