def METHOD_NAME(a, n):
    """
    Denotes the bitwise cyclic shift operation, moving bit at position
    `i` into position `i + n` (modulo the lane size).
    Args:
        a:  lane with a 64-bit word, or elements from the state array.
        n:  offset for rotation.
    Returns:
        The rotated lane.
    """
    return ((a >> (64 - (n % 64))) + (a << (n % 64))) % (1 << 64)