// ./lib/java/Karl.java                                                                                           
class Karl {
    private Karl(){
    }
    public static String nose( String is){
        return is;
    }
}