code: int /* udword_ppt */readBEdword(final short[] /* ubyte_ppt[4] */ptr,
  			int pos) {
  		return (((((short /* udword_ppt */) ptr[pos + 0]) << 24)
  				+ (((short /* udword_ppt */) ptr[pos + 1]) << 16)
  				+ (((short /* udword_ppt */) ptr[pos + 2]) << 8) + ((short /* udword_ppt */) ptr[pos + 3])) << 0);
  	}
docs: Read a big-endian 32-bit word from four bytes in memory. No
  endian-specific optimizations applied.
  
  @param ptr
  @param pos
  @return