[Prog-model] Rewrite start and end