Add the explicit control compiler
Make their code actually work