Sha.bytes: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/sha.bend as Sha
Lines 61-64 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=61&end_line=64

import Base

# the string packed into big-endian words, four bytes each
def bytes(+text: String) -> Array<U32>:
  +n = String.length(text)
  fill(text, 0, Array.new(U32, depth(words.of(n)), 0))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=depth
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=fill
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=words.of