Explicitly declare int values as ints.
https://bugs.gentoo.org/886597
https://bugs.gentoo.org/871261
--- a/mace4.src/msearch.c
+++ b/mace4.src/msearch.c
@@ -847,7 +847,7 @@
  *************/
 
 static
-int next_domain_size(n)
+int next_domain_size(int n)
 {
   int top = (parm(Opt->end_size) == -1 ? INT_MAX : parm(Opt->end_size));
       
--- a/mace4.src/select.c
+++ b/mace4.src/select.c
@@ -233,7 +233,7 @@
  *
  *************/
 
-int select_concentric_band(min_id, max_id, max_constrained)
+int select_concentric_band(int min_id, int max_id, int max_constrained)
 {
   int max = -1;
   int id_of_max = -1;