Code generator for Proxima