hbfn/9 $llm0vr $lr0v
hbfn/9 $llm16vr $lr8v
hbfn/9 $llm32vr $lr16v
hbfn/9 $llm48vr $lr24v

hmwrite $llr0v $llx0
hmwrite $llr16v $llx8

hmwrite $llm0vr $ly0
hmwrite $llm16vr $ly4
hmwrite $llm32vr $ly8
hmwrite $llm48vr $ly12

hmread $lly0 $lls0v
hmread $lly8 $lls16v

hbfn/9 $lls0v $lls0v
hbfn/9 $lls16v $lls16v

hmmul $lx $ls0v $lln0v
hmmul $lx $ls8v $lln16v
hmmul $lx $ls16v $lln32v
hmmul $lx $ls24v $lln48v

# BF, write to $x
# write to $y, read from $y^T, BF
# mmul