Stabilizing a program