if(debug>=2) {System.out.print(value+" big-endian (default)");}
if(debug>=5) {System.out.print(value+" big-endian (default)");}
  static public int getIntFromDataInputStream(DataInputStream stream)  {    byte b[] = new byte[4];    int value = 0;    try {      stream.readFully(b);    } catch (EOFException e) {      if (debug>=3)         System.out.println("***Utilities.readInt() EOF exception!***");      return EOF_int;    }catch (IOException e) {      System.out.println("***Utilities.readInt() IO exception!***");      new Exception().printStackTrace();      System.exit(-1);    }    if(debug>=2) {System.out.print("Utilities.readInt("+b[0]+" "+b[1]+" "+b[2]+" "+b[3]+") ");}    if (TraceHeader.isLittleEndian()) {      value = 	(((int)(b[3] << 24)) & 0xFF000000) + 	(((int)(b[2] << 16)) & 0x00FF0000) + 	(((int)(b[1] <<  8)) & 0x0000FF00) + 	(((int)(b[0]      )) & 0x000000FF);      if(debug>=2){System.out.print(value+" little-endian\n");}    } else {      value = 	(((int)(b[0] << 24)) & 0xFF000000) + 	(((int)(b[1] << 16)) & 0x00FF0000) + 	(((int)(b[2] <<  8)) & 0x0000FF00) + 	(((int)(b[3]      )) & 0x000000FF);      if(debug>=2) {System.out.print(value+" big-endian (default)");}    }    if(debug>=2) {System.out.print("\n");}    return value;  }