hello.kt
package 
public final HelloKt extends java.lang.Object {
	public static final void main (java.lang.String[]) 
		String[] args
}