wpiutil/src/generate/NatGetter.java.in

  static Nat<N${num}> N${num}() {
    return N${num}.instance;
  }