# you should be able to do
proc foo()
    : int = 1