checkpoint in Regal code generation