Are both this and the earlier `__attribute__((optimize("unroll-loops")))` needed?