From and to sets.
Example for C output.
No more exponential expansion of c output.
Need a reg here so this will compile. Later we'll make it work.