def xts.carry
import bend-osdev-cipher-modes@0.1.0.0/xts.bend as Xtsimport Base
25# the carry out of w's last byte, into the first byte of the next word
26def xts.carry(w: U32) -> U32:
27 U32.shln(U32.and(128, w), 17n)
import bend-osdev-cipher-modes@0.1.0.0/xts.bend as Xtsimport Base
25# the carry out of w's last byte, into the first byte of the next word
26def xts.carry(w: U32) -> U32:
27 U32.shln(U32.and(128, w), 17n)