def int_to_be_bytes(x):
    """Convert an integer to an array of four integer values representing the big endian byte encoding."""
    return [(x >> 24) & 0xff, (x >> 16) & 0xff, (x >> 8) & 0xff, x & 0xff]