public class good1p {

   public static void outInt(int n) {
     java.io.PrintStream ps;
     ps = java.lang.System::out : java.io.PrintStream;
     (ps)->print : void (n);
   }

   public static void main431() {
     int w,x;
     x = 3+4;  TestClasses.good1p::outInt : void (x);
     x = 5*7;  TestClasses.good1p::outInt : void (x);
   }
}
