Strange is fine. Strange what we expect to see if the compiler is working, as some optimizations are unintuitive.

Inefficient is not fine, but there's no attempt to measure that here.