[spider-mario]

There is some discussion of the possible options here: https://github.com/google/highway#strip-mining-loops