[oblio]

Isn't that the thing where it outputs C and then compiles the C code and then runs that?

[ric2b]

Yes, but it caches the generated code, so if you run a function 1000 times you only pay the compilation cost once.