def u32le_list_to_byte_list(data):
    """! @brief Convert a word array into a byte array"""
    res = []
    for x in data:
        res.append(x >> 0 & 255)
        res.append(x >> 8 & 255)
        res.append(x >> 16 & 255)
        res.append(x >> 24 & 255)
    return res
