We are now actually encoding compiled C as specified by {mode=...} at the top