Aria.aria.c: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
Lines 4503-4511 of bend-osdev-legacy-ciphers@0.1.0.0/aria.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&start_line=4503&end_line=4511

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

# C1, C2, C3: the fractional part of 1/pi
def aria.c(i: Nat) -> M.CmBlock:
  match i:
    case 0n:
      M.CmBlock{1367130551, 656542356, 4262702056, 4204424928}
    case 1n:
      M.CmBlock{1840335564, 2653014048, 4280857045, 4015907504}
    case _:
      M.CmBlock{3683792669, 556198256, 52729717, 82364686}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock