proc f() return end.