-rw-r--r-- 200 lib25519-20221222/crypto_hashblocks/sha512/m3/inner.c.do raw
#!/bin/sh

cat inner.top
( cat inner.desc
  cat inner.q | sed 's/#.*//' | sed 's/:/#/g'
) \
| qhasm-ops \
| qhasm-regs \
| qhasm-as \
| grep -v '^# qhasm: livefloat80' \
| grep . \
| sed 's_^#_\/\/_'