public class X {
  void f() {
    int i = <spot>0x5</spot>;
  }
}