Is anyone working on a 32bit MIPS CGEN description? It would make a good training exercise in preparation for doing a CGEN-based gas+sim port to a proprietary MIPS-like CPU.