Dtype.quads: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/dtype.bend as Dtype
Lines 357-369 of bendtorch@1.3.0.0/dtype.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/dtype.bend&start_line=357&end_line=369

import Base

# four bytes to a word, little-endian; a short last group is padded with zeros
def quads(xs: List<&2, U32>) -> List<&2, U32>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{+a, Nil{}}:
      [a]
    case Con{+a, Con{+b, Nil{}}}:
      [(a .|. U32.shln(b, 8n) : U32)]
    case Con{+a, Con{+b, Con{+c, Nil{}}}}:
      [((a .|. U32.shln(b, 8n) : U32) .|. U32.shln(c, 16n) : U32)]
    case Con{+a, Con{+b, Con{+c, Con{+d, t}}}}:
      (((a .|. U32.shln(b, 8n) : U32) .|. U32.shln(c, 16n) : U32) .|. U32.shln(d, 24n) : U32) <> quads(t)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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