Index: kdump.c =================================================================== --- kdump.c (revision 199016) +++ kdump.c (working copy) @@ -799,7 +799,7 @@ narg--; } } - while (narg) { + while (narg > 0) { print_number(ip,narg,c); } (void)putchar(')');