we used to output C for native backend support