Turning the microcodes of dynamips into compilable sources.