// WARNING: file "Hello2.java" generated from "Hello2.tj"
//          Changes should be applied on the source file.

class Hello2 {
   public static void main (String args[]) {
      System.err.println("Hello, Fap!");
   }
}

// WARNING: file "Hello2.java" generated from "Hello2.tj"
//          Changes should be applied on the source file.