/**
 * @version 1.10 1997-07-01
 * @author Cay Horstmann
 */

class Printf1
{  public static native int print(int width, int
      precision, double x);
   static
   {  System.loadLibrary("Printf1");
   }
}