157     let P x0123 x4567 = decomp64 (fromBE $ B.toW64BE key 0)
159      in keySchedule isShort (Q x0123 x4567 x89AB xCDEF)
178     step1 ma off (Q x0123 x4567 x89AB xCDEF) = do
182             z0123 = x0123 `xor` sbox_s56787 xD xF xC xE x8
203             x0123 = z89AB `xor` sbox_s56787 z5 z7 z4 z6 z0  function
208             (x0, x1, x2, x3) = decomp32 x0123
217         return (Q x0123 x4567 x89AB xCDEF)
220     step3 ma off (Q x0123 x4567 x89AB xCDEF) = do
224             z0123 = x0123 `xor` sbox_s56787 xD xF xC xE x8
245             x0123 = z89AB `xor` sbox_s56787 z5 z7 z4 z6 z0  function
250             (x0, x1, x2, x3) = decomp32 x0123
259         return (Q x0123 x4567 x89AB xCDEF)
266             x0123 = z89AB `xor` sbox_s56787 z5 z7 z4 z6 z0  function
271             (x0, x1, x2, x3) = decomp32 x0123
275         return (Q x0123 x4567 x89AB xCDEF)