void f() return do { }