proc f() begin ; end end.