Tests that CFA knows that PutByVal can clobber the world.

On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".


PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS foo(array, -1) is 57
PASS successfullyParsed is true

TEST COMPLETE