mathtracing IR can now emit both C and Terra code.