Abstract out final condition from top.ml
Working C generators.