Initial set of Ward sgen annotations (#5705)