A learning example from my intro cs class