def be32toh(buf):
	# named after the c library function
	"""Convert big-endian 4byte int to a python numeric value."""
	out = (ord(buf[0]) << 24) + (ord(buf[1]) << 16) + \
		(ord(buf[2]) << 8) + ord(buf[3])
	return out