This test passes if there is no ASSERT().
f foo