ATTRIBUTE((format (printf, 5, 6)));
#define divine_sct_change_quiet(sp, name, change, ...) \
divine_sct_change((sp), (name), -(change), 0, __VA_ARGS__)
+extern void divine_nat_change(struct natstr *, char *, int, int, char *, ...)
+ ATTRIBUTE((format (printf, 5, 6)));
+#define divine_nat_change_quiet(np, name, change, ...) \
+ divine_nat_change((np), (name), -(change), 0, __VA_ARGS__)
extern void divine_unit_change(struct empobj *, char *, int, int, char *, ...)
ATTRIBUTE((format (printf, 5, 6)));
#define divine_unit_change_quiet(unit, name, change, ...) \