More concrete pseudocode.