# This test is now superfluous: proc a(a: int) = return