io module: DataInputStream file header, initial import