def parse_u32(byte_seq, index):
    """Parses a u32 value at the given index from the byte_seq."""
    return (byte_seq[index] |
                (byte_seq[index + 1] << 8) |
                (byte_seq[index + 2] << 16) |
                (byte_seq[index + 3] << 24))