io module: DataInputStream  example