Infrastructure for code generation progress checkpoint.