Sha.pack: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/sha.bend as Sha
Lines 9-13 of ezx@1.11.0.0/src/share/sha.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/sha.bend&start_line=9&end_line=13

import Base

# four big-endian bytes in one word, each kept to eight bits
def pack(first: U32, second: U32, third: U32, fourth: U32) -> U32:
  (U32.shln((first .&. 255 : U32), 24n)
    .|. U32.shln((second .&. 255 : U32), 16n)
    .|. U32.shln((third .&. 255 : U32), 8n) .|. (fourth .&. 255) : U32)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln