Robust/src/ClassLibrary/System.java

   1 public class System {
   2     public static void printInt(int x) {
   3         String s=String.valueOf(x);
   4         printString(s);
   5     }
   6
   7     public static native void printString(String s);
   8 }