@staticmethod
def lane2bytes(s, w):
    """
        Converts the lane s to a sequence of byte values,
        assuming a lane is w bits.
        """
    o = []
    for b in range(0, w, 8):
        o.append(s >> b & 255)
    return o
