-int prepare_memory (void);
-int parse_leases (void);
-char * parse_config (int, char *, char *, char *, struct shared_network_t *);
-int nth_field (int n, char *dest, const char *src);
-int prepare_data (void);
-int do_counting (void);
-void flip_ranges(struct range_t *ranges, struct range_t *tmp_ranges);
+int prepare_memory(void);
+int parse_leases(void);
+char *parse_config(int, char *, char *, char *, struct shared_network_t *)
+ __attribute__ ((nonnull(2, 3, 4)));
+int nth_field(int n, char *dest, const char *src)
+ __attribute__ ((nonnull(2, 3)))
+#if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 3)
+ __attribute__ ((__hot__))
+#endif
+ ;
+int prepare_data(void);
+int do_counting(void);
+void flip_ranges(struct range_t *ranges, struct range_t *tmp_ranges)
+ __attribute__ ((nonnull(1, 2)));