diff --git a/util.c b/util.c
index 07cbfde..c28edf3 100644
--- a/util.c
+++ b/util.c
@@ -340,13 +340,10 @@
 }
 
 int
-printflags(xlat, flags, dflt)
-const struct xlat *xlat;
-int flags;
-const char *dflt;
+printflags(const struct xlat *xlat, int flags, const char *dflt)
 {
 	int n;
-	char *sep;
+	const char *sep;
 
 	if (flags == 0 && xlat->val == 0) {
 		tprintf("%s", xlat->str);
@@ -383,10 +380,7 @@
 }
 
 void
-printnum(tcp, addr, fmt)
-struct tcb *tcp;
-long addr;
-char *fmt;
+printnum(struct tcb *tcp, long addr, const char *fmt)
 {
 	long num;
 
@@ -404,10 +398,7 @@
 }
 
 void
-printnum_int(tcp, addr, fmt)
-struct tcb *tcp;
-long addr;
-char *fmt;
+printnum_int(struct tcb *tcp, long addr, const char *fmt)
 {
 	int num;