public final synchronized int readint(){
                int ch = -1;
                try{
                        ch = input.read();
                }catch(java.io.IOException e){
                        System.out.println(e);
                }
                if(ch==-1){
                    System.out.println("FileInputAsChar.readint:  attempt to read beyond end of file");
                    eof = true;
                }
                return ch;
        }