Furthermore, one has to give the user the ability to jump to a given state instantly — if he or she wants to stop working and return to the current state a week later, for instance.

This allows one to quickly get information such as which variables are assigned in a region, which are referenced, and if it contains any jump or return statements.

One prominent study found that immediate ice therapy "resulted in earlier return to activity, as defined by ability to walk, climb stairs, run and jump without pain."