154.3.4 REGENERATE-PTIME