This test passes if there is no ASSERT().

f foo