HexadecimalLiteral_after.java

class C {
  String s = String.format("or not%d", 0x10);
}