A compiler that takes C code (a subset of C with some extensions) and compiles it to microcode for a type of microcoded, algorithmic state machine that we're developing.

it would be cool to have this task (or some variant) in a benchmark.