Some tests of forall loops w/ links to discussion on SO