def des.unstep
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
252# the round undone
253def des.unstep(k: LcDesRk, h: LcDesHalves) -> LcDesHalves:
254 match h:
255 case LcDesHalves{+a, b}:
256 LcDesHalves{U32.xor(b, des.f(k, a)), a}