allowed empty fbody, test01 works