When `step` is 16, the `andi` instruction in the loop performs a bitwise AND with immediate mask value 0xFFFF.
This will emit 3 instructions. It's effectively a zero extension operation and could be reduced to 1 or 2
instructions repectively depending on whether Zbb extension is available.