Assertion list for term "take eight 4-byte inputs".

Results from Ascent++: 1
round CapableOftake eight 4-byte inputs 0.25