The patch-ac corrects four instances of printf being called with an
uncompilable argument list; the patch follows a recommendation from
Christian Biere <christianbiere@gmx.de>.
The patch-ad corrects a situation where a label at end of block prevents
compilation; the fix adds a null statement as the label's target.